/**
 *Submitted for verification at Etherscan.io on 2020-02-13
*/

// File: @onchain-id/solidity/contracts/IERC734.sol

pragma solidity ^0.5.10;

/**
 * @dev Interface of the ERC734 (Key Holder) standard as defined in the EIP.
 */
interface IERC734 {
    /**
     * @dev Definition of the structure of a Key.
     *
     * Specification: Keys are cryptographic public keys, or contract addresses associated with this identity.
     * The structure should be as follows:
     *   - key: A public key owned by this identity
     *      - purposes: uint256[] Array of the key purposes, like 1 = MANAGEMENT, 2 = EXECUTION
     *      - keyType: The type of key used, which would be a uint256 for different key types. e.g. 1 = ECDSA, 2 = RSA, etc.
     *      - key: bytes32 The public key. // Its the Keccak256 hash of the key
     */
    struct Key {
        uint256[] purposes;
        uint256 keyType;
        bytes32 key;
    }

    /**
     * @dev Emitted when an execution request was approved.
     *
     * Specification: MUST be triggered when approve was successfully called.
     */
    event Approved(uint256 indexed executionId, bool approved);

    /**
     * @dev Emitted when an execute operation was approved and successfully performed.
     *
     * Specification: MUST be triggered when approve was called and the execution was successfully approved.
     */
    event Executed(uint256 indexed executionId, address indexed to, uint256 indexed value, bytes data);

    /**
     * @dev Emitted when an execution request was performed via `execute`.
     *
     * Specification: MUST be triggered when execute was successfully called.
     */
    event ExecutionRequested(uint256 indexed executionId, address indexed to, uint256 indexed value, bytes data);

    /**
     * @dev Emitted when a key was added to the Identity.
     *
     * Specification: MUST be triggered when addKey was successfully called.
     */
    event KeyAdded(bytes32 indexed key, uint256 indexed purpose, uint256 indexed keyType);

    /**
     * @dev Emitted when a key was removed from the Identity.
     *
     * Specification: MUST be triggered when removeKey was successfully called.
     */
    event KeyRemoved(bytes32 indexed key, uint256 indexed purpose, uint256 indexed keyType);

    /**
     * @dev Emitted when the list of required keys to perform an action was updated.
     *
     * Specification: MUST be triggered when changeKeysRequired was successfully called.
     */
    event KeysRequiredChanged(uint256 purpose, uint256 number);


    /**
     * @dev Adds a _key to the identity. The _purpose specifies the purpose of the key.
     *
     * Triggers Event: `KeyAdded`
     *
     * Specification: MUST only be done by keys of purpose 1, or the identity itself. If it's the identity itself, the approval process will determine its approval.
     */
    function addKey(bytes32 _key, uint256 _purpose, uint256 _keyType) external returns (bool success);

    /**
    * @dev Approves an execution or claim addition.
    *
    * Triggers Event: `Approved`, `Executed`
    *
    * Specification:
    * This SHOULD require n of m approvals of keys purpose 1, if the _to of the execution is the identity contract itself, to successfully approve an execution.
    * And COULD require n of m approvals of keys purpose 2, if the _to of the execution is another contract, to successfully approve an execution.
    */
    function approve(uint256 _id, bool _approve) external returns (bool success);

    /**
     * @dev Changes the keys required to perform an action for a specific purpose. (This is the n in an n of m multisig approval process.)
     *
     * Triggers Event: `KeysRequiredChanged`
     *
     * Specification: MUST only be done by keys of purpose 1, or the identity itself. If it's the identity itself, the approval process will determine its approval.
     */
    function changeKeysRequired(uint256 purpose, uint256 number) external;

    /**
     * @dev Passes an execution instruction to an ERC725 identity.
     *
     * Triggers Event: `ExecutionRequested`, `Executed`
     *
     * Specification:
     * SHOULD require approve to be called with one or more keys of purpose 1 or 2 to approve this execution.
     * Execute COULD be used as the only accessor for `addKey` and `removeKey`.
     */
    function execute(address _to, uint256 _value, bytes calldata _data) external payable returns (uint256 executionId);

    /**
     * @dev Returns the full key data, if present in the identity.
     */
    function getKey(bytes32 _key) external view returns (uint256[] memory purposes, uint256 keyType, bytes32 key);

    /**
     * @dev Returns the list of purposes associated with a key.
     */
    function getKeyPurposes(bytes32 _key) external view returns(uint256[] memory _purposes);

    /**
     * @dev Returns an array of public key bytes32 held by this identity.
     */
    function getKeysByPurpose(uint256 _purpose) external view returns (bytes32[] memory keys);

    /**
     * @dev Returns number of keys required for purpose.
     */
    function getKeysRequired(uint256 purpose) external view returns (uint256);

    /**
     * @dev Returns TRUE if a key is present and has the given purpose. If the key is not present it returns FALSE.
     */
    function keyHasPurpose(bytes32 _key, uint256 _purpose) external view returns (bool exists);

    /**
     * @dev Removes _purpose for _key from the identity.
     *
     * Triggers Event: `KeyRemoved`
     *
     * Specification: MUST only be done by keys of purpose 1, or the identity itself. If it's the identity itself, the approval process will determine its approval.
     */
    function removeKey(bytes32 _key, uint256 _purpose) external returns (bool success);
}

// File: @onchain-id/solidity/contracts/ERC734.sol

pragma solidity ^0.5.10;


/**
 * @dev Implementation of the `IERC734` "KeyHolder" interface.
 */
contract ERC734 is IERC734 {
    uint256 public constant MANAGEMENT_KEY = 1;
    uint256 public constant ACTION_KEY = 2;
    uint256 public constant CLAIM_SIGNER_KEY = 3;
    uint256 public constant ENCRYPTION_KEY = 4;

    uint256 private executionNonce;

    struct Execution {
        address to;
        uint256 value;
        bytes data;
        bool approved;
        bool executed;
    }

    mapping (bytes32 => Key) private keys;
    mapping (uint256 => bytes32[]) private keysByPurpose;
    mapping (uint256 => Execution) private executions;

    event ExecutionFailed(uint256 indexed executionId, address indexed to, uint256 indexed value, bytes data);

    constructor() public {
        bytes32 _key = keccak256(abi.encode(msg.sender));

        keys[_key].key = _key;
        keys[_key].purposes = [1];
        keys[_key].keyType = 1;

        keysByPurpose[1].push(_key);

        emit KeyAdded(_key, 1, 1);
    }

    /**
       * @notice Implementation of the getKey function from the ERC-734 standard
       *
       * @param _key The public key.  for non-hex and long keys, its the Keccak256 hash of the key
       *
       * @return Returns the full key data, if present in the identity.
       */
    function getKey(bytes32 _key)
    public
    view
    returns(uint256[] memory purposes, uint256 keyType, bytes32 key)
    {
        return (keys[_key].purposes, keys[_key].keyType, keys[_key].key);
    }

    /**
    * @notice gets the purposes of a key
    *
    * @param _key The public key.  for non-hex and long keys, its the Keccak256 hash of the key
    *
    * @return Returns the purposes of the specified key
    */
    function getKeyPurposes(bytes32 _key)
    public
    view
    returns(uint256[] memory _purposes)
    {
        return (keys[_key].purposes);
    }

    /**
        * @notice gets all the keys with a specific purpose from an identity
        *
        * @param _purpose a uint256[] Array of the key types, like 1 = MANAGEMENT, 2 = ACTION, 3 = CLAIM, 4 = ENCRYPTION
        *
        * @return Returns an array of public key bytes32 hold by this identity and having the specified purpose
        */
    function getKeysByPurpose(uint256 _purpose)
    public
    view
    returns(bytes32[] memory _keys)
    {
        return keysByPurpose[_purpose];
    }

    /**
        * @notice implementation of the addKey function of the ERC-734 standard
        * Adds a _key to the identity. The _purpose specifies the purpose of key. Initially we propose four purposes:
        * 1: MANAGEMENT keys, which can manage the identity
        * 2: ACTION keys, which perform actions in this identities name (signing, logins, transactions, etc.)
        * 3: CLAIM signer keys, used to sign claims on other identities which need to be revokable.
        * 4: ENCRYPTION keys, used to encrypt data e.g. hold in claims.
        * MUST only be done by keys of purpose 1, or the identity itself.
        * If its the identity itself, the approval process will determine its approval.
        *
        * @param _key keccak256 representation of an ethereum address
        * @param _type type of key used, which would be a uint256 for different key types. e.g. 1 = ECDSA, 2 = RSA, etc.
        * @param _purpose a uint256[] Array of the key types, like 1 = MANAGEMENT, 2 = ACTION, 3 = CLAIM, 4 = ENCRYPTION
        *
        * @return Returns TRUE if the addition was successful and FALSE if not
        */

    function addKey(bytes32 _key, uint256 _purpose, uint256 _type)
    public
    returns (bool success)
    {
        if (msg.sender != address(this)) {
            require(keyHasPurpose(keccak256(abi.encode(msg.sender)), 1), "Permissions: Sender does not have management key");
        }

        if (keys[_key].key == _key) {
            for (uint keyPurposeIndex = 0; keyPurposeIndex < keys[_key].purposes.length; keyPurposeIndex++) {
                uint256 purpose = keys[_key].purposes[keyPurposeIndex];

                if (purpose == _purpose) {
                    revert("Conflict: Key already has purpose");
                }
            }

            keys[_key].purposes.push(_purpose);
        } else {
            keys[_key].key = _key;
            keys[_key].purposes = [_purpose];
            keys[_key].keyType = _type;
        }

        keysByPurpose[_purpose].push(_key);

        emit KeyAdded(_key, _purpose, _type);

        return true;
    }

    function approve(uint256 _id, bool _approve)
    public
    returns (bool success)
    {
        require(keyHasPurpose(keccak256(abi.encode(msg.sender)), 2), "Sender does not have action key");

        emit Approved(_id, _approve);

        if (_approve == true) {
            executions[_id].approved = true;

            (success,) = executions[_id].to.call.value(executions[_id].value)(abi.encode(executions[_id].data, 0));

            if (success) {
                executions[_id].executed = true;

                emit Executed(
                    _id,
                    executions[_id].to,
                    executions[_id].value,
                    executions[_id].data
                );

                return true;
            } else {
                emit ExecutionFailed(
                    _id,
                    executions[_id].to,
                    executions[_id].value,
                    executions[_id].data
                );

                return false;
            }
        } else {
            executions[_id].approved = false;
        }
        return true;
    }

    function execute(address _to, uint256 _value, bytes memory _data)
    public
    payable
    returns (uint256 executionId)
    {
        require(!executions[executionNonce].executed, "Already executed");
        executions[executionNonce].to = _to;
        executions[executionNonce].value = _value;
        executions[executionNonce].data = _data;

        emit ExecutionRequested(executionNonce, _to, _value, _data);

        if (keyHasPurpose(keccak256(abi.encode(msg.sender)), 2)) {
            approve(executionNonce, true);
        }

        executionNonce++;
        return executionNonce-1;
    }

    function removeKey(bytes32 _key, uint256 _purpose)
    public
    returns (bool success)
    {
        require(keys[_key].key == _key, "NonExisting: Key isn't registered");

        if (msg.sender != address(this)) {
            require(keyHasPurpose(keccak256(abi.encode(msg.sender)), 1), "Permissions: Sender does not have management key"); // Sender has MANAGEMENT_KEY
        }

        require(keys[_key].purposes.length > 0, "NonExisting: Key doesn't have such purpose");

        uint purposeIndex = 0;
        while (keys[_key].purposes[purposeIndex] != _purpose) {
            purposeIndex++;

            if (purposeIndex >= keys[_key].purposes.length) {
                break;
            }
        }

        require(purposeIndex < keys[_key].purposes.length, "NonExisting: Key doesn't have such purpose");

        keys[_key].purposes[purposeIndex] = keys[_key].purposes[keys[_key].purposes.length - 1];
        keys[_key].purposes.pop();

        uint keyIndex = 0;

        while (keysByPurpose[_purpose][keyIndex] != _key) {
            keyIndex++;
        }

        keysByPurpose[_purpose][keyIndex] = keysByPurpose[_purpose][keysByPurpose[_purpose].length - 1];
        keysByPurpose[_purpose].pop();

        uint keyType = keys[_key].keyType;

        if (keys[_key].purposes.length == 0) {
            delete keys[_key];
        }

        emit KeyRemoved(_key, _purpose, keyType);

        return true;
    }

    /**
    * @notice implementation of the changeKeysRequired from ERC-734 standard
    */
    function changeKeysRequired(uint256 purpose, uint256 number) external
    {
        revert();
    }

    /**
    * @notice implementation of the getKeysRequired from ERC-734 standard
    */
    function getKeysRequired(uint256 purpose) external view returns(uint256 number)
    {
        revert();
    }

    /**
    * @notice Returns true if the key has MANAGEMENT purpose or the specified purpose.
    */
    function keyHasPurpose(bytes32 _key, uint256 _purpose)
    public
    view
    returns(bool result)
    {
        Key memory key = keys[_key];
        if (key.key == 0) return false;

        for (uint keyPurposeIndex = 0; keyPurposeIndex < key.purposes.length; keyPurposeIndex++) {
            uint256 purpose = key.purposes[keyPurposeIndex];

            if (purpose == MANAGEMENT_KEY || purpose == _purpose) return true;
        }

        return false;
    }
}

// File: @onchain-id/solidity/contracts/IERC735.sol

pragma solidity ^0.5.10;

/**
 * @dev Interface of the ERC735 (Claim Holder) standard as defined in the EIP.
 */
interface IERC735 {

    /**
     * @dev Emitted when a claim request was performed.
     *
     * Specification: Is not clear
     */
    event ClaimRequested(uint256 indexed claimRequestId, uint256 indexed topic, uint256 scheme, address indexed issuer, bytes signature, bytes data, string uri);

    /**
     * @dev Emitted when a claim was added.
     *
     * Specification: MUST be triggered when a claim was successfully added.
     */
    event ClaimAdded(bytes32 indexed claimId, uint256 indexed topic, uint256 scheme, address indexed issuer, bytes signature, bytes data, string uri);

    /**
     * @dev Emitted when a claim was removed.
     *
     * Specification: MUST be triggered when removeClaim was successfully called.
     */
    event ClaimRemoved(bytes32 indexed claimId, uint256 indexed topic, uint256 scheme, address indexed issuer, bytes signature, bytes data, string uri);

    /**
     * @dev Emitted when a claim was changed.
     *
     * Specification: MUST be triggered when changeClaim was successfully called.
     */
    event ClaimChanged(bytes32 indexed claimId, uint256 indexed topic, uint256 scheme, address indexed issuer, bytes signature, bytes data, string uri);

    /**
     * @dev Definition of the structure of a Claim.
     *
     * Specification: Claims are information an issuer has about the identity holder.
     * The structure should be as follows:
     *   - claim: A claim published for the Identity.
     *      - topic: A uint256 number which represents the topic of the claim. (e.g. 1 biometric, 2 residence (ToBeDefined: number schemes, sub topics based on number ranges??))
     *      - scheme : The scheme with which this claim SHOULD be verified or how it should be processed. Its a uint256 for different schemes. E.g. could 3 mean contract verification, where the data will be call data, and the issuer a contract address to call (ToBeDefined). Those can also mean different key types e.g. 1 = ECDSA, 2 = RSA, etc. (ToBeDefined)
     *      - issuer: The issuers identity contract address, or the address used to sign the above signature. If an identity contract, it should hold the key with which the above message was signed, if the key is not present anymore, the claim SHOULD be treated as invalid. The issuer can also be a contract address itself, at which the claim can be verified using the call data.
     *      - signature: Signature which is the proof that the claim issuer issued a claim of topic for this identity. it MUST be a signed message of the following structure: `keccak256(abi.encode(identityHolder_address, topic, data))`
     *      - data: The hash of the claim data, sitting in another location, a bit-mask, call data, or actual data based on the claim scheme.
     *      - uri: The location of the claim, this can be HTTP links, swarm hashes, IPFS hashes, and such.
     */
    struct Claim {
        uint256 topic;
        uint256 scheme;
        address issuer;
        bytes signature;
        bytes data;
        string uri;
    }

    /**
     * @dev Get a claim by its ID.
     *
     * Claim IDs are generated using `keccak256(abi.encode(address issuer_address + uint256 topic))`.
     */
    function getClaim(bytes32 _claimId) external view returns(uint256 topic, uint256 scheme, address issuer, bytes memory signature, bytes memory data, string memory uri);

    /**
     * @dev Returns an array of claim IDs by topic.
     */
    function getClaimIdsByTopic(uint256 _topic) external view returns(bytes32[] memory claimIds);

    /**
     * @dev Add or update a claim.
     *
     * Triggers Event: `ClaimRequested`, `ClaimAdded`, `ClaimChanged`
     *
     * Specification: Requests the ADDITION or the CHANGE of a claim from an issuer.
     * Claims can requested to be added by anybody, including the claim holder itself (self issued).
     *
     * _signature is a signed message of the following structure: `keccak256(abi.encode(address identityHolder_address, uint256 topic, bytes data))`.
     * Claim IDs are generated using `keccak256(abi.encode(address issuer_address + uint256 topic))`.
     *
     * This COULD implement an approval process for pending claims, or add them right away.
     * MUST return a claimRequestId (use claim ID) that COULD be sent to the approve function.
     */
    function addClaim(uint256 _topic, uint256 _scheme, address issuer, bytes calldata _signature, bytes calldata _data, string calldata _uri) external returns (bytes32 claimRequestId);

    /**
     * @dev Removes a claim.
     *
     * Triggers Event: `ClaimRemoved`
     *
     * Claim IDs are generated using `keccak256(abi.encode(address issuer_address + uint256 topic))`.
     */
    function removeClaim(bytes32 _claimId) external returns (bool success);
}

// File: @onchain-id/solidity/contracts/Identity.sol

pragma solidity ^0.5.10;



/**
 * @dev Implementation of the `IERC734` "KeyHolder" and the `IERC735` "ClaimHolder" interfaces into a common Identity Contract.
 */
contract Identity is ERC734, IERC735 {

    mapping (bytes32 => Claim) private claims;
    mapping (uint256 => bytes32[]) private claimsByTopic;

    /**
       * @notice Implementation of the addClaim function from the ERC-735 standard
       *  Require that the msg.sender has claim signer key.
       *
       * @param _topic The type of claim
       * @param _scheme The scheme with which this claim SHOULD be verified or how it should be processed.
       * @param _issuer The issuers identity contract address, or the address used to sign the above signature.
       * @param _signature Signature which is the proof that the claim issuer issued a claim of topic for this identity.
       * it MUST be a signed message of the following structure: keccak256(address identityHolder_address, uint256 _ topic, bytes data)
       * or keccak256(abi.encode(identityHolder_address, topic, data))
       * @param _data The hash of the claim data, sitting in another location, a bit-mask, call data, or actual data based on the claim scheme.
       * @param _uri The location of the claim, this can be HTTP links, swarm hashes, IPFS hashes, and such.
       *
       * @return Returns claimRequestId: COULD be send to the approve function, to approve or reject this claim.
       * triggers ClaimAdded event.
       */

    function addClaim(
        uint256 _topic,
        uint256 _scheme,
        address _issuer,
        bytes memory _signature,
        bytes memory _data,
        string memory _uri
    )
    public
    returns (bytes32 claimRequestId)
    {
        bytes32 claimId = keccak256(abi.encode(_issuer, _topic));

        if (msg.sender != address(this)) {
            require(keyHasPurpose(keccak256(abi.encode(msg.sender)), 3), "Permissions: Sender does not have claim signer key");
        }

        if (claims[claimId].issuer != _issuer) {
            claimsByTopic[_topic].push(claimId);
            claims[claimId].topic = _topic;
            claims[claimId].scheme = _scheme;
            claims[claimId].issuer = _issuer;
            claims[claimId].signature = _signature;
            claims[claimId].data = _data;
            claims[claimId].uri = _uri;

            emit ClaimAdded(
                claimId,
                _topic,
                _scheme,
                _issuer,
                _signature,
                _data,
                _uri
            );
        } else {
            claims[claimId].topic = _topic;
            claims[claimId].scheme = _scheme;
            claims[claimId].issuer = _issuer;
            claims[claimId].signature = _signature;
            claims[claimId].data = _data;
            claims[claimId].uri = _uri;

            emit ClaimChanged(
                claimId,
                _topic,
                _scheme,
                _issuer,
                _signature,
                _data,
                _uri
            );
        }

        return claimId;
    }

    /**
       * @notice Implementation of the removeClaim function from the ERC-735 standard
       * Require that the msg.sender has management key.
       * Can only be removed by the claim issuer, or the claim holder itself.
       *
       * @param _claimId The identity of the claim i.e. keccak256(address issuer_address + uint256 topic)
       *
       * @return Returns TRUE when the claim was removed.
       * triggers ClaimRemoved event
       */

    function removeClaim(bytes32 _claimId) public returns (bool success) {
        if (msg.sender != address(this)) {
            require(keyHasPurpose(keccak256(abi.encode(msg.sender)), 1), "Permissions: Sender does not have CLAIM key");
        }

        if (claims[_claimId].topic == 0) {
            revert("NonExisting: There is no claim with this ID");
        }

        uint claimIndex = 0;
        while (claimsByTopic[claims[_claimId].topic][claimIndex] != _claimId) {
            claimIndex++;
        }

        claimsByTopic[claims[_claimId].topic][claimIndex] = claimsByTopic[claims[_claimId].topic][claimsByTopic[claims[_claimId].topic].length - 1];
        claimsByTopic[claims[_claimId].topic].pop();

        emit ClaimRemoved(
            _claimId,
            claims[_claimId].topic,
            claims[_claimId].scheme,
            claims[_claimId].issuer,
            claims[_claimId].signature,
            claims[_claimId].data,
            claims[_claimId].uri
        );

        delete claims[_claimId];

        return true;
    }

    /**
        * @notice Implementation of the getClaim function from the ERC-735 standard.
        *
        * @param _claimId The identity of the claim i.e. keccak256(address issuer_address + uint256 topic)
        *
        * @return Returns all the parameters of the claim for the specified _claimId (topic, scheme, signature, issuer, data, uri) .
        */

    function getClaim(bytes32 _claimId)
    public
    view
    returns(
        uint256 topic,
        uint256 scheme,
        address issuer,
        bytes memory signature,
        bytes memory data,
        string memory uri
    )
    {
        return (
            claims[_claimId].topic,
            claims[_claimId].scheme,
            claims[_claimId].issuer,
            claims[_claimId].signature,
            claims[_claimId].data,
            claims[_claimId].uri
        );
    }

    /**
        * @notice Implementation of the getClaimIdsByTopic function from the ERC-735 standard.
        * used to get all the claims from the specified topic
        *
        * @param _topic The identity of the claim i.e. keccak256(address issuer_address + uint256 topic)
        *
        * @return Returns an array of claim IDs by topic.
        */

    function getClaimIdsByTopic(uint256 _topic)
    public
    view
    returns(bytes32[] memory claimIds)
    {
        return claimsByTopic[_topic];
    }
}

// File: contracts/registry/IClaimTopicsRegistry.sol

pragma solidity ^0.5.10;

interface IClaimTopicsRegistry{
    // EVENTS
    event ClaimTopicAdded(uint256 indexed claimTopic);
    event ClaimTopicRemoved(uint256 indexed claimTopic);

    // OPERATIONS
    function addClaimTopic(uint256 claimTopic) external;
    function removeClaimTopic(uint256 claimTopic) external;

    // GETTERS
    function getClaimTopics() external view returns (uint256[] memory);
}

// File: @onchain-id/solidity/contracts/IClaimIssuer.sol

pragma solidity ^0.5.10;


//interface
contract IClaimIssuer{
    uint public issuedClaimCount;

    mapping (bytes => bool) revokedClaims;
    mapping (bytes32 => address) identityAddresses;

    event ClaimValid(Identity _identity, uint256 claimTopic);
    event ClaimInvalid(Identity _identity, uint256 claimTopic);

    function revokeClaim(bytes32 _claimId, address _identity) public returns(bool);
    // function revokeClaim(bytes memory _sig, address _identity) public returns(bool);
    // function isClaimRevoked(bytes32 _claimId) public view returns(bool);
    function isClaimRevoked(bytes memory _sig) public view returns(bool result);
    function isClaimValid(Identity _identity, bytes32 _claimId, uint256 claimTopic, bytes memory sig, bytes memory data)
    public
    view
    returns (bool claimValid);

}

// File: @onchain-id/solidity/contracts/ClaimIssuer.sol

pragma solidity ^0.5.10;



contract ClaimIssuer is IClaimIssuer, Identity {
    function revokeClaim(bytes32 _claimId, address _identity) public returns(bool) {
        uint256 foundClaimTopic;
        uint256 scheme;
        address issuer;
        bytes memory  sig;
        bytes  memory data;
        ( foundClaimTopic, scheme, issuer, sig, data, ) = Identity(_identity).getClaim(_claimId);
        // require(sig != 0, "Claim does not exist");

        revokedClaims[sig] = true;
        identityAddresses[_claimId] = _identity;
        return true;
    }

    function isClaimRevoked(bytes memory _sig) public view returns (bool) {
        if(revokedClaims[_sig]) {
            return true;
        }

        return false;
    }

    function isClaimValid(Identity _identity, bytes32 _claimId, uint256 claimTopic, bytes memory sig, bytes memory data)
    public
    view
    returns (bool claimValid)
    {
        bytes32 dataHash = keccak256(abi.encode(_identity, claimTopic, data));
        // Use abi.encodePacked to concatenate the messahe prefix and the message to sign.
        bytes32 prefixedHash = keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", dataHash));

        // Recover address of data signer
        address recovered = getRecoveredAddress(sig, prefixedHash);

        // Take hash of recovered address
        bytes32 hashedAddr = keccak256(abi.encode(recovered));

        // Does the trusted identifier have they key which signed the user's claim?
        //  && (isClaimRevoked(_claimId) == false)
        if (keyHasPurpose(hashedAddr, 3) && (isClaimRevoked(sig) == false)) {
            return true;
        }

        return false;
    }

    function getRecoveredAddress(bytes memory sig, bytes32 dataHash)
        public
        pure
        returns (address addr)
    {
        bytes32 ra;
        bytes32 sa;
        uint8 va;

        // Check the signature length
        if (sig.length != 65) {
            return address(0);
        }

        // Divide the signature in r, s and v variables
        assembly {
          ra := mload(add(sig, 32))
          sa := mload(add(sig, 64))
          va := byte(0, mload(add(sig, 96)))
        }

        if (va < 27) {
            va += 27;
        }

        address recoveredAddress = ecrecover(dataHash, va, ra, sa);

        return (recoveredAddress);
    }
}

// File: contracts/registry/ITrustedIssuersRegistry.sol

pragma solidity ^0.5.10;


interface ITrustedIssuersRegistry {
    // EVENTS
    event TrustedIssuerAdded(uint indexed index, ClaimIssuer indexed trustedIssuer, uint[] claimTopics);
    event TrustedIssuerRemoved(uint indexed index, ClaimIssuer indexed trustedIssuer);
    event TrustedIssuerUpdated(uint indexed index, ClaimIssuer indexed oldTrustedIssuer, ClaimIssuer indexed newTrustedIssuer, uint[] claimTopics);

    // READ OPERATIONS
    function getTrustedIssuer(uint index) external view returns (ClaimIssuer);
    function getTrustedIssuerClaimTopics(uint index) external view returns(uint[] memory);
    function getTrustedIssuers() external view returns (uint[] memory);
    function hasClaimTopic(address issuer, uint claimTopic) external view returns(bool);
    function isTrustedIssuer(address issuer) external view returns(bool);

    // WRITE OPERATIONS
    function addTrustedIssuer(ClaimIssuer _trustedIssuer, uint index, uint[] calldata claimTopics) external;
    function removeTrustedIssuer(uint index) external;
    function updateIssuerContract(uint index, ClaimIssuer _newTrustedIssuer, uint[] calldata claimTopics) external;
}

// File: contracts/registry/IIdentityRegistry.sol

pragma solidity ^0.5.10;





interface IIdentityRegistry {
    // EVENTS
    event ClaimTopicsRegistrySet(address indexed _claimTopicsRegistry);
    event CountryUpdated(address indexed investorAddress, uint16 indexed country);
    event IdentityRegistered(address indexed investorAddress, Identity indexed identity);
    event IdentityRemoved(address indexed investorAddress, Identity indexed identity);
    event IdentityUpdated(Identity indexed old_identity, Identity indexed new_identity);
    event TrustedIssuersRegistrySet(address indexed _trustedIssuersRegistry);

    // WRITE OPERATIONS
    function deleteIdentity(address _user) external;
    function registerIdentity(address _user, Identity _identity, uint16 _country) external;
    function setClaimTopicsRegistry(address _claimTopicsRegistry) external;
    function setTrustedIssuersRegistry(address _trustedIssuersRegistry) external;
    function updateCountry(address _user, uint16 _country) external;
    function updateIdentity(address _user, Identity _identity) external;

    // READ OPERATIONS
    function contains(address _wallet) external view returns (bool);
    function isVerified(address _userAddress) external view returns (bool);

    // GETTERS
    function identity(address _wallet) external view returns (Identity);
    function investorCountry(address _wallet) external view returns (uint16);
    function issuersRegistry() external view returns (ITrustedIssuersRegistry);
    function topicsRegistry() external view returns (IClaimTopicsRegistry);
}

// File: contracts/compliance/ICompliance.sol

pragma solidity ^0.5.10;

interface ICompliance {
    function canTransfer(address _from, address _to, uint256 value) external view returns (bool);
}

// File: openzeppelin-solidity/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see `ERC20Detailed`.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a `Transfer` event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through `transferFrom`. This is
     * zero by default.
     *
     * This value changes when `approve` or `transferFrom` are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * > Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an `Approval` event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a `Transfer` event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to `approve`. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// File: openzeppelin-solidity/contracts/math/SafeMath.sol

pragma solidity ^0.5.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.5.0;



/**
 * @dev Implementation of the `IERC20` interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using `_mint`.
 * For a generic mechanism see `ERC20Mintable`.
 *
 * *For a detailed writeup see our guide [How to implement supply
 * mechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).*
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an `Approval` event is emitted on calls to `transferFrom`.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard `decreaseAllowance` and `increaseAllowance`
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See `IERC20.approve`.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

    uint256 private _totalSupply;

    /**
     * @dev See `IERC20.totalSupply`.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See `IERC20.balanceOf`.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See `IERC20.transfer`.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    /**
     * @dev See `IERC20.allowance`.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See `IERC20.approve`.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev See `IERC20.transferFrom`.
     *
     * Emits an `Approval` event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of `ERC20`;
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `value`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to `transfer`, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a `Transfer` event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a `Transfer` event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

     /**
     * @dev Destoys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a `Transfer` event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an `Approval` event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    /**
     * @dev Destoys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See `_burn` and `_approve`.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}

// File: openzeppelin-solidity/contracts/access/Roles.sol

pragma solidity ^0.5.0;

/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0), "Roles: account is the zero address");
        return role.bearer[account];
    }
}

// File: openzeppelin-solidity/contracts/ownership/Ownable.sol

pragma solidity ^0.5.0;

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be aplied to your functions to restrict their use to
 * the owner.
 */
contract Ownable {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), _owner);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _owner;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * > Note: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

// File: contracts/roles/AgentRole.sol

pragma solidity ^0.5.0;



contract AgentRole is Ownable {
    using Roles for Roles.Role;

    event AgentAdded(address indexed account);
    event AgentRemoved(address indexed account);

    Roles.Role private _agents;

    modifier onlyAgent() {
        require(isAgent(msg.sender), "AgentRole: caller does not have the Agent role");
        _;
    }

    function isAgent(address account) public view returns (bool) {
        return _agents.has(account);
    }

    function addAgent(address account) public onlyOwner {
        _addAgent(account);
    }

    function removeAgent(address account) public onlyOwner {
        _removeAgent(account);
    }

    function _addAgent(address account) internal {
        _agents.add(account);
        emit AgentAdded(account);
    }

    function _removeAgent(address account) internal {
        _agents.remove(account);
        emit AgentRemoved(account);
    }
}

// File: contracts/token/TransferManager.sol

pragma solidity ^0.5.10;








contract Pausable is AgentRole, ERC20 {
    /**
     * @dev Emitted when the pause is triggered by a pauser (`account`).
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by a pauser (`account`).
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state. Assigns the Pauser role
     * to the deployer.
     */
    constructor () internal {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!_paused, "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     */
    modifier whenPaused() {
        require(_paused, "Pausable: not paused");
        _;
    }

    /**
     * @dev Called by a pauser to pause, triggers stopped state.
     */
    function pause() public onlyAgent whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev Called by a pauser to unpause, returns to normal state.
     */
    function unpause() public onlyAgent whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }
}


contract TransferManager is Pausable {

    mapping(address => uint256) private holderIndices;
    mapping(address => address) private cancellations;
    mapping (address => bool) frozen;
    mapping (address => Identity)  _identity;
    mapping (address => uint256) public frozenTokens;

    mapping(uint16 => uint256) countryShareHolders;

    address[] private shareholders;
    bytes32[] public claimsNotInNewAddress;

    IIdentityRegistry public identityRegistry;

    ICompliance public compliance;

    event IdentityRegistryAdded(address indexed _identityRegistry);

    event ComplianceAdded(address indexed _compliance);

    event VerifiedAddressSuperseded(
        address indexed original,
        address indexed replacement,
        address indexed sender
    );

    event AddressFrozen(
        address indexed addr,
        bool indexed isFrozen,
        address indexed owner
    );

    event recoverySuccess(
        address wallet_lostAddress,
        address wallet_newAddress,
        address onchainID
    );

    event recoveryFails(
        address wallet_lostAddress,
        address wallet_newAddress,
        address onchainID
    );

    event TokensFrozen(address indexed addr, uint256 amount);
    
    event TokensUnfrozen(address indexed addr, uint256 amount);
    
    constructor (
        address _identityRegistry,
        address _compliance
    ) public {
        identityRegistry = IIdentityRegistry(_identityRegistry);
        emit IdentityRegistryAdded(_identityRegistry);
        compliance = ICompliance(_compliance);
        emit ComplianceAdded(_compliance);
    }

    /**
    * @notice ERC-20 overridden function that include logic to check for trade validity.
    *  Require that the msg.sender and to addresses are not frozen.
    *  Require that the value should not exceed available balance .
    *  Require that the to address is a verified address,
    *  If the `to` address is not currently a shareholder then it MUST become one.
    *  If the transfer will reduce `msg.sender`'s balance to 0 then that address
    *  MUST be removed from the list of shareholders.
    *
    * @param _to The address of the receiver
    * @param _value The number of tokens to transfer
    *
    * @return `true` if successful and revert if unsuccessful
    */
    function transfer(address _to, uint256 _value) public whenNotPaused returns (bool) {
        require(!frozen[_to] && !frozen[msg.sender]);
        require(_value <=  balanceOf(msg.sender).sub(frozenTokens[msg.sender]), "Insufficient Balance" );
        if(identityRegistry.isVerified(_to) && compliance.canTransfer(msg.sender, _to, _value)){
            updateShareholders(_to);
            pruneShareholders(msg.sender, _value);
            return super.transfer(_to, _value);
        }

        revert("Transfer not possible");
    }
   /**
   * @notice function allowing to issue transfers in batch
   *  Require that the msg.sender and `to` addresses are not frozen.
   *  Require that the total value should not exceed available balance.
   *  Require that the `to` addresses are all verified addresses,
   *  If one of the `to` addresses is not currently a shareholder then it MUST become one.
   *  If the batchTransfer will reduce `msg.sender`'s balance to 0 then that address
   *  MUST be removed from the list of shareholders.
   *  IMPORTANT : THIS TRANSACTION COULD EXCEED GAS LIMIT IF `_toList.length` IS TOO HIGH,
   *  USE WITH CARE OR YOU COULD LOSE TX FEES WITH AN "OUT OF GAS" TRANSACTION
   *
   * @param _toList The addresses of the receivers
   * @param _values The number of tokens to transfer to the corresponding receiver
   *
   * @return true if successful and revert if unsuccessful
   */

    function batchTransfer(address[] calldata _toList, uint256[] calldata _values) external {
        for (uint256 i = 0; i < _toList.length; i++) {
            transfer(_toList[i], _values[i]);
        }
    }

    /**
    * @notice ERC-20 overridden function that include logic to check for trade validity.
    *  Require that the from and to addresses are not frozen.
    *  Require that the value should not exceed available balance .
    *  Require that the to address is a verified address,
    *  If the `to` address is not currently a shareholder then it MUST become one.
    *  If the transfer will reduce `from`'s balance to 0 then that address
    *  MUST be removed from the list of shareholders.
    *
    * @param _from The address of the sender
    * @param _to The address of the receiver
    * @param _value The number of tokens to transfer
    *
    * @return `true` if successful and revert if unsuccessful
    */
    function transferFrom(address _from, address _to, uint256 _value) public whenNotPaused returns (bool) {
        require(!frozen[_to] && !frozen[_from]);
        require(_value <=  balanceOf(_from).sub(frozenTokens[_from]), "Insufficient Balance" );
        if(identityRegistry.isVerified(_to) && compliance.canTransfer(_from, _to, _value)){
            updateShareholders(_to);
            pruneShareholders(_from, _value);
            return super.transferFrom(_from, _to, _value);
        }

        revert("Transfer not possible");
    }
    
    /**
    * 
    *  Require that the from address has enough available tokens to
    *  transfer `value` amount if he has partial freeze on some tokens.
    *  Require that the `value` should not exceed available balance.
    *  Require that the `to` address is a verified address,
    *  If the `to` address is not currently a shareholder then it MUST become one.
    *  If the transfer will reduce `from`'s balance to 0 then that address
    *  MUST be removed from the list of shareholders.
    *
    * @param _from The address of the sender
    * @param _to The address of the receiver
    * @param _value The number of tokens to transfer
    *
    * @return `true` if successful and revert if unsuccessful
    */
    function forcedTransfer(address _from, address _to, uint256 _value) onlyAgent public returns (bool) {
        require(_value <=  balanceOf(_from).sub(frozenTokens[_from]), "Sender Has Insufficient Balance");
        if(identityRegistry.isVerified(_to) && compliance.canTransfer(_from, _to, _value)){
            updateShareholders(_to);
            pruneShareholders(_from, _value);
            _transfer(_from, _to, _value);
            return true;
        }
        revert("Transfer not possible");
    }

    /**
   * @notice function allowing to issue forced transfers in batch
   *  Only Agent can call this function.
   *  Require that `value` should not exceed available balance of `_from`.
   *  Require that the `to` addresses are all verified addresses,
   *  If one of the `to` addresses is not currently a shareholder then it MUST become one.
   *  If the batchForcedTransfer will reduce `_from`'s balance to 0 then that address
   *  MUST be removed from the list of shareholders.
   *  IMPORTANT : THIS TRANSACTION COULD EXCEED GAS LIMIT IF `_fromList.length` IS TOO HIGH,
   *  USE WITH CARE OR YOU COULD LOSE TX FEES WITH AN "OUT OF GAS" TRANSACTION
   *
   * @param _fromList The addresses of the senders
   * @param _toList The addresses of the receivers
   * @param _values The number of tokens to transfer to the corresponding receiver
   *
   * @return true if successful and revert if unsuccessful
   */

    function batchForcedTransfer(address[] calldata _fromList, address[] calldata _toList, uint256[] calldata _values) external {
        for (uint256 i = 0; i < _fromList.length; i++) {
            forcedTransfer(_fromList[i], _toList[i], _values[i]);
        }
    }
    
    /**
     * Holder count simply returns the total number of token holder addresses.
     */
    function holderCount() public view returns (uint) {
        return shareholders.length;
    }

    /**
     *  By counting the number of token holders using `holderCount`
     *  you can retrieve the complete list of token holders, one at a time.
     *  It MUST throw if `index >= holderCount()`.
     *  @param index The zero-based index of the holder.
     *  @return the address of the token holder with the given index.
     */
    function holderAt(uint256 index) public onlyOwner view returns (address){
        require(index < shareholders.length);
        return shareholders[index];
    }


    /**
     *  If the address is not in the `shareholders` array then push it
     *  and update the `holderIndices` mapping.
     *  @param addr The address to add as a shareholder if it's not already.
     */
    function updateShareholders(address addr) internal {
        if (holderIndices[addr] == 0) {
            holderIndices[addr] = shareholders.push(addr);
            uint16 country = identityRegistry.investorCountry(addr);
            countryShareHolders[country]++;
        }
    }

    /**
     *  If the address is in the `shareholders` array and the forthcoming
     *  transfer or transferFrom will reduce their balance to 0, then
     *  we need to remove them from the shareholders array.
     *  @param addr The address to prune if their balance will be reduced to 0.
     @  @dev see https://ethereum.stackexchange.com/a/39311
     */
    function pruneShareholders(address addr, uint256 value) internal {
        uint256 balance = balanceOf(addr) - value;
        if (balance > 0) {
            return;
        }
        uint256 holderIndex = holderIndices[addr] - 1;
        uint256 lastIndex = shareholders.length - 1;
        address lastHolder = shareholders[lastIndex];
        // overwrite the addr's slot with the last shareholder
        shareholders[holderIndex] = lastHolder;
        // also copy over the index
        holderIndices[lastHolder] = holderIndices[addr];
        // trim the shareholders array (which drops the last entry)
        shareholders.length--;
        // and zero out the index for addr
        holderIndices[addr] = 0;
        //Decrease the country count
        uint16 country = identityRegistry.investorCountry(addr);
        countryShareHolders[country]--;
    }

    function getShareholderCountByCountry(uint16 index) public view returns (uint) {
        return countryShareHolders[index];
    }

    /**
     *  Checks to see if the supplied address was superseded.
     *  @param addr The address to check
     *  @return true if the supplied address was superseded by another address.
     */
    function isSuperseded(address addr) public view onlyOwner returns (bool){
        return cancellations[addr] != address(0);
    }

    /**
     *  Gets the most recent address, given a superseded one.
     *  Addresses may be superseded multiple times, so this function needs to
     *  follow the chain of addresses until it reaches the final, verified address.
     *  @param addr The superseded address.
     *  @return the verified address that ultimately holds the share.
     */
    function getCurrentFor(address addr) public view onlyOwner returns (address){
        return findCurrentFor(addr);
    }

    /**
     *  Recursively find the most recent address given a superseded one.
     *  @param addr The superseded address.
     *  @return the verified address that ultimately holds the share.
     */
    function findCurrentFor(address addr) internal view returns (address) {
        address candidate = cancellations[addr];
        if (candidate == address(0)) {
            return addr;
        }
        return findCurrentFor(candidate);
    }

    /**
     *  Sets an address frozen status for this token.
     *  @param addr The address for which to update frozen status
     *  @param freeze Frozen status of the address
     */
    function setAddressFrozen(address addr, bool freeze) public onlyAgent {
        frozen[addr] = freeze;

        emit AddressFrozen(addr, freeze, msg.sender);
    }

  /**
   * @notice function allowing to set frozen addresses in batch
   *  Only Agent can call this function.
   *  IMPORTANT : THIS TRANSACTION COULD EXCEED GAS LIMIT IF `addrList.length` IS TOO HIGH,
   *  USE WITH CARE OR YOU COULD LOSE TX FEES WITH AN "OUT OF GAS" TRANSACTION
   *
   *  @param addrList The addresses for which to update frozen status
   *  @param freeze Frozen status of the corresponding address
   *
   */

    function batchSetAddressFrozen(address[] calldata addrList, bool[] calldata freeze) external {
        for (uint256 i = 0; i < addrList.length; i++) {
            setAddressFrozen(addrList[i], freeze[i]);
        }
    }

    /**
     *  Freezes token amount specified for given address.
     *  @param addr The address for which to update frozen tokens
     *  @param amount Amount of Tokens to be frozen
     */
    function freezePartialTokens(address addr, uint256 amount) public onlyAgent {
        uint256 balance = balanceOf(addr);
        require(balance >= frozenTokens[addr]+amount, 'Amount exceeds available balance');
        frozenTokens[addr] += amount;
        emit TokensFrozen(addr, amount);
    }

  /**
   * @notice function allowing to freeze tokens partially in batch
   *  Only Agent can call this function.
   *  IMPORTANT : THIS TRANSACTION COULD EXCEED GAS LIMIT IF `addrList.length` IS TOO HIGH,
   *  USE WITH CARE OR YOU COULD LOSE TX FEES WITH AN "OUT OF GAS" TRANSACTION
   *
   *  @param addrList The addresses on which tokens need to be frozen
   *  @param amounts the amount of tokens to freeze on the corresponding address
   *
   */

    function batchFreezePartialTokens(address[] calldata addrList, uint256[] calldata amounts) external {
        for (uint256 i = 0; i < addrList.length; i++) {
            freezePartialTokens(addrList[i], amounts[i]);
        }
    }
    
    /**
     *  Unfreezes token amount specified for given address
     *  @param addr The address for which to update frozen tokens
     *  @param amount Amount of Tokens to be unfrozen
     */
    function unfreezePartialTokens(address addr, uint256 amount) onlyAgent public {
        require(frozenTokens[addr] >= amount, 'Amount should be less than or equal to frozen tokens');
        frozenTokens[addr] -= amount;
        emit TokensUnfrozen(addr, amount);
    }

  /**
   * @notice function allowing to unfreeze tokens partially in batch
   *  Only Agent can call this function.
   *  IMPORTANT : THIS TRANSACTION COULD EXCEED GAS LIMIT IF `addrList.length` IS TOO HIGH,
   *  USE WITH CARE OR YOU COULD LOSE TX FEES WITH AN "OUT OF GAS" TRANSACTION
   *
   *  @param addrList The addresses on which tokens need to be unfrozen
   *  @param amounts the amount of tokens to unfreeze on the corresponding address
   *
   */

    function batchUnfreezePartialTokens(address[] calldata addrList, uint256[] calldata amounts) external {
        for (uint256 i = 0; i < addrList.length; i++) {
            unfreezePartialTokens(addrList[i], amounts[i]);
        }
    }

    //Identity registry setter.
    function setIdentityRegistry(address _identityRegistry) public onlyOwner {
        identityRegistry = IIdentityRegistry(_identityRegistry);
        emit IdentityRegistryAdded(_identityRegistry);
    }

    function setCompliance(address _compliance) public onlyOwner {
        compliance = ICompliance(_compliance);
        emit ComplianceAdded(_compliance);
    }

    uint256[]  claimTopics;
    bytes32[]  lostAddressClaimIds;
    bytes32[]  newAddressClaimIds;
    uint256 foundClaimTopic;
    uint256 scheme;
    address issuer;
    bytes  sig;
    bytes  data;

    function recoveryAddress(address wallet_lostAddress, address wallet_newAddress, address onchainID) public onlyAgent {
        require(holderIndices[wallet_lostAddress] != 0 && holderIndices[wallet_newAddress] == 0);
        require(identityRegistry.contains(wallet_lostAddress), "wallet should be in the registry");

        Identity _onchainID = Identity(onchainID);

        // Check if the token issuer/Tokeny has the management key to the onchainID
        bytes32 _key = keccak256(abi.encode(msg.sender));

        if(_onchainID.keyHasPurpose(_key, 1)) {
            // Burn tokens on the lost wallet
            uint investorTokens = balanceOf(wallet_lostAddress);
            _burn(wallet_lostAddress, investorTokens);

            // Remove lost wallet management key from the onchainID
            bytes32 lostWalletkey = keccak256(abi.encode(wallet_lostAddress));
            if (_onchainID.keyHasPurpose(lostWalletkey, 1)) {
                uint256[] memory purposes = _onchainID.getKeyPurposes(lostWalletkey);
                for(uint _purpose = 0; _purpose <= purposes.length; _purpose++){
                    if(_purpose != 0)
                        _onchainID.removeKey(lostWalletkey, _purpose);
                }

            }

            // Add new wallet to the identity registry and link it with the onchainID
            identityRegistry.registerIdentity(wallet_newAddress, _onchainID, identityRegistry.investorCountry(wallet_lostAddress));

            // Remove lost wallet from the identity registry
            identityRegistry.deleteIdentity(wallet_lostAddress);

            cancellations[wallet_lostAddress] = wallet_newAddress;
        	uint256 holderIndex = holderIndices[wallet_lostAddress] - 1;
        	shareholders[holderIndex] = wallet_newAddress;
        	holderIndices[wallet_newAddress] = holderIndices[wallet_lostAddress];
        	holderIndices[wallet_lostAddress] = 0;

            // Mint equivalent token amount on the new wallet
            _mint(wallet_newAddress, investorTokens);

            emit recoverySuccess(wallet_lostAddress, wallet_newAddress, onchainID);

        }
        else {
            emit recoveryFails(wallet_lostAddress, wallet_newAddress, onchainID);
        }
    }
}

// File: contracts/token/MintableAndBurnable.sol

pragma solidity ^0.5.10;



contract MintableAndBurnable is TransferManager {
    /**
     * @notice Improved version of default mint method. Tokens can be minted
     * to an address if only it is a verified address as per the security token.
     * This check will be useful for a complaint crowdsale.
     * Only owner can call.
     *
     * @param _to Address to mint the tokens to.
     * @param _amount Amount of tokens to mint.
     *
     * @return 'True' if minting succesful, 'False' if fails.
     */
    function mint(address _to, uint256 _amount)
        public
        onlyAgent {
        require(identityRegistry.isVerified(_to), "Identity is not verified.");

        _mint(_to, _amount);
        updateShareholders(_to);
    }

    function batchMint(address[] calldata _to, uint256[] calldata _amount) external {
        for (uint256 i = 0; i < _to.length; i++) {
            mint(_to[i], _amount[i]);
        }
    }

    function burn(address account, uint256 value)
        public
        onlyAgent {
        _burn(account, value);
    }

    function batchBurn(address[] calldata account, uint256[] calldata value) external {
        for (uint256 i = 0; i < account.length; i++) {
            burn(account[i], value[i]);
        }
    }
}

// File: contracts/token/IToken.sol

pragma solidity ^0.5.10;

//interface
interface IToken {
    event UpdatedTokenInformation(string newName, string newSymbol, uint8 newDecimals, string newVersion, address newOnchainID);

    // getters
    function decimals() external view returns (uint8);
    function name() external view returns (string memory);
    function onchainID() external view returns (address);
    function symbol() external view returns (string memory);
    function version() external view returns (string memory);

    // setters
    function setTokenInformation(string calldata _name, string calldata _symbol, uint8 _decimals, string calldata _version, address _onchainID) external;
}

// File: contracts/token/Token.sol

pragma solidity ^0.5.10;



contract Token is IToken, MintableAndBurnable {
    string public name = "TREXDINO";
    string public symbol = "TREX";
    string public version = "1.2";
    uint8 public decimals = 0;
    address public onchainID = 0x0000000000000000000000000000000000000000;

    constructor(
        address _identityRegistry,
        address _compliance
		)
        public
		    TransferManager(_identityRegistry, _compliance)
    {}

    /**
    * Owner can update token information here
    */
    function setTokenInformation(string calldata _name, string calldata _symbol, uint8 _decimals, string calldata _version, address _onchainID) external onlyOwner {

        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        version = _version;
	onchainID = _onchainID;


        emit UpdatedTokenInformation(name, symbol, decimals, version, onchainID);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"},{"name":"amount","type":"uint256"}],"name":"freezePartialTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"identityRegistry","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"index","type":"uint256"}],"name":"holderAt","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"addrList","type":"address[]"},{"name":"freeze","type":"bool[]"}],"name":"batchSetAddressFrozen","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"holderCount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"},{"name":"amount","type":"uint256"}],"name":"unfreezePartialTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isAgent","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"isSuperseded","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_decimals","type":"uint8"},{"name":"_version","type":"string"},{"name":"_onchainID","type":"address"}],"name":"setTokenInformation","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_fromList","type":"address[]"},{"name":"_toList","type":"address[]"},{"name":"_values","type":"uint256[]"}],"name":"batchForcedTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"addrList","type":"address[]"},{"name":"amounts","type":"uint256[]"}],"name":"batchUnfreezePartialTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address[]"},{"name":"value","type":"uint256[]"}],"name":"batchBurn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"version","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"compliance","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address[]"},{"name":"_amount","type":"uint256[]"}],"name":"batchMint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"claimsNotInNewAddress","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addAgent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_toList","type":"address[]"},{"name":"_values","type":"uint256[]"}],"name":"batchTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"wallet_lostAddress","type":"address"},{"name":"wallet_newAddress","type":"address"},{"name":"onchainID","type":"address"}],"name":"recoveryAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"index","type":"uint16"}],"name":"getShareholderCountByCountry","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"removeAgent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"},{"name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"forcedTransfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"onchainID","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"frozenTokens","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"},{"name":"freeze","type":"bool"}],"name":"setAddressFrozen","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_identityRegistry","type":"address"}],"name":"setIdentityRegistry","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"getCurrentFor","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_compliance","type":"address"}],"name":"setCompliance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"addrList","type":"address[]"},{"name":"amounts","type":"uint256[]"}],"name":"batchFreezePartialTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_identityRegistry","type":"address"},{"name":"_compliance","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_identityRegistry","type":"address"}],"name":"IdentityRegistryAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_compliance","type":"address"}],"name":"ComplianceAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"original","type":"address"},{"indexed":true,"name":"replacement","type":"address"},{"indexed":true,"name":"sender","type":"address"}],"name":"VerifiedAddressSuperseded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"},{"indexed":true,"name":"isFrozen","type":"bool"},{"indexed":true,"name":"owner","type":"address"}],"name":"AddressFrozen","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"wallet_lostAddress","type":"address"},{"indexed":false,"name":"wallet_newAddress","type":"address"},{"indexed":false,"name":"onchainID","type":"address"}],"name":"recoverySuccess","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"wallet_lostAddress","type":"address"},{"indexed":false,"name":"wallet_newAddress","type":"address"},{"indexed":false,"name":"onchainID","type":"address"}],"name":"recoveryFails","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"TokensFrozen","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"TokensUnfrozen","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"AgentAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"AgentRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"newName","type":"string"},{"indexed":false,"name":"newSymbol","type":"string"},{"indexed":false,"name":"newDecimals","type":"uint8"},{"indexed":false,"name":"newVersion","type":"string"},{"indexed":false,"name":"newOnchainID","type":"address"}],"name":"UpdatedTokenInformation","type":"event"}]

0x60c0604052600860808190527f5452455844494e4f00000000000000000000000000000000000000000000000060a090815262000040916018919062000206565b506040805180820190915260048082527f54524558000000000000000000000000000000000000000000000000000000006020909201918252620000879160199162000206565b506040805180820190915260038082527f312e3200000000000000000000000000000000000000000000000000000000006020909201918252620000ce91601a9162000206565b50601b80546001600160a81b0319169055348015620000ec57600080fd5b5060405162003d0938038062003d09833981810160405260408110156200011257600080fd5b508051602090910151600080546001600160a01b0319163317808255604051849284926001600160a01b0316917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a36005805460ff19169055600e80546001600160a01b0319166001600160a01b0384169081179091556040517fd2be862d755bca7e0d39772b2cab3a5578da9c285f69199f4c063c2294a7f36c90600090a2600f80546001600160a01b0319166001600160a01b0383169081179091556040517f7f3a888862559648ec01d97deb7b5012bff86dc91e654a1de397170db40e35b690600090a250505050620002ab565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200024957805160ff191683800117855562000279565b8280016001018555821562000279579182015b82811115620002795782518255916020019190600101906200025c565b50620002879291506200028b565b5090565b620002a891905b8082111562000287576000815560010162000292565b90565b613a4e80620002bb6000396000f3fe608060405234801561001057600080fd5b50600436106102bb5760003560e01c806370a08231116101825780639dc29fac116100e9578063c69c09cf116100a2578063dd62ed3e1161007c578063dd62ed3e14610da6578063f2fde38b14610dd4578063f898178914610dfa578063fc7e5fa814610e20576102bb565b8063c69c09cf14610d2c578063cbf3f86114610d5a578063cc397ed314610d80576102bb565b80639dc29fac14610c445780639fc1d0e714610c70578063a457c2d714610ca6578063a9059cbb14610cd2578063aba6370514610cfe578063bfd8580814610d06576102bb565b80638da5cb5b1161013b5780638da5cb5b14610bad5780638f32d59b14610bb55780639285948a14610bbd578063951f17ae14610bf557806395d89b4114610c1657806397a6278e14610c1e576102bb565b806370a0823114610a76578063715018a614610a9c5780638117c18b14610aa45780638456cb5914610ac157806384e7984214610ac957806388d695b214610aef576102bb565b8063313ce567116102265780634710362d116101df5780634710362d146108245780634a6cc677146108e257806354fd4d50146109a05780635c975abb146109a85780636290865d146109b057806368573107146109b8576102bb565b8063313ce5671461057a578063351341131461059857806339509351146106b65780633f4ba83a146106e257806340c10f19146106ea57806342a47abc14610716576102bb565b80631a7af379116102785780631a7af379146104065780631aab9a9f146104c45780631fe56f7d146104cc5780631ffbb064146104f857806323b872dd1461051e5780632da7293e14610554576102bb565b806306fdde03146102c0578063095ea7b31461033d578063125c4a331461037d578063134e18f4146103ab57806318160ddd146103cf578063197bc336146103e9575b600080fd5b6102c8610ede565b6040805160208082528351818301528351919283929083019185019080838360005b838110156103025781810151838201526020016102ea565b50505050905090810190601f16801561032f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103696004803603604081101561035357600080fd5b506001600160a01b038135169060200135610f6c565b604080519115158252519081900360200190f35b6103a96004803603604081101561039357600080fd5b506001600160a01b038135169060200135610f83565b005b6103b361109c565b604080516001600160a01b039092168252519081900360200190f35b6103d76110ab565b60408051918252519081900360200190f35b6103b3600480360360208110156103ff57600080fd5b50356110b2565b6103a96004803603604081101561041c57600080fd5b810190602081018135600160201b81111561043657600080fd5b82018360208201111561044857600080fd5b803590602001918460208302840111600160201b8311171561046957600080fd5b919390929091602081019035600160201b81111561048657600080fd5b82018360208201111561049857600080fd5b803590602001918460208302840111600160201b831117156104b957600080fd5b509092509050611133565b6103d7611186565b6103a9600480360360408110156104e257600080fd5b506001600160a01b03813516906020013561118c565b6103696004803603602081101561050e57600080fd5b50356001600160a01b031661127f565b6103696004803603606081101561053457600080fd5b506001600160a01b03813581169160208101359091169060400135611292565b6103696004803603602081101561056a57600080fd5b50356001600160a01b0316611527565b610582611591565b6040805160ff9092168252519081900360200190f35b6103a9600480360360a08110156105ae57600080fd5b810190602081018135600160201b8111156105c857600080fd5b8201836020820111156105da57600080fd5b803590602001918460018302840111600160201b831117156105fb57600080fd5b919390929091602081019035600160201b81111561061857600080fd5b82018360208201111561062a57600080fd5b803590602001918460018302840111600160201b8311171561064b57600080fd5b9193909260ff83351692604081019060200135600160201b81111561066f57600080fd5b82018360208201111561068157600080fd5b803590602001918460018302840111600160201b831117156106a257600080fd5b9193509150356001600160a01b031661159a565b610369600480360360408110156106cc57600080fd5b506001600160a01b038135169060200135611811565b6103a9611852565b6103a96004803603604081101561070057600080fd5b506001600160a01b038135169060200135611923565b6103a96004803603606081101561072c57600080fd5b810190602081018135600160201b81111561074657600080fd5b82018360208201111561075857600080fd5b803590602001918460208302840111600160201b8311171561077957600080fd5b919390929091602081019035600160201b81111561079657600080fd5b8201836020820111156107a857600080fd5b803590602001918460208302840111600160201b831117156107c957600080fd5b919390929091602081019035600160201b8111156107e657600080fd5b8201836020820111156107f857600080fd5b803590602001918460208302840111600160201b8311171561081957600080fd5b509092509050611a48565b6103a96004803603604081101561083a57600080fd5b810190602081018135600160201b81111561085457600080fd5b82018360208201111561086657600080fd5b803590602001918460208302840111600160201b8311171561088757600080fd5b919390929091602081019035600160201b8111156108a457600080fd5b8201836020820111156108b657600080fd5b803590602001918460208302840111600160201b831117156108d757600080fd5b509092509050611ab8565b6103a9600480360360408110156108f857600080fd5b810190602081018135600160201b81111561091257600080fd5b82018360208201111561092457600080fd5b803590602001918460208302840111600160201b8311171561094557600080fd5b919390929091602081019035600160201b81111561096257600080fd5b82018360208201111561097457600080fd5b803590602001918460208302840111600160201b8311171561099557600080fd5b509092509050611b02565b6102c8611b4c565b610369611ba7565b6103b3611bb0565b6103a9600480360360408110156109ce57600080fd5b810190602081018135600160201b8111156109e857600080fd5b8201836020820111156109fa57600080fd5b803590602001918460208302840111600160201b83111715610a1b57600080fd5b919390929091602081019035600160201b811115610a3857600080fd5b820183602082011115610a4a57600080fd5b803590602001918460208302840111600160201b83111715610a6b57600080fd5b509092509050611bbf565b6103d760048036036020811015610a8c57600080fd5b50356001600160a01b0316611c09565b6103a9611c24565b6103d760048036036020811015610aba57600080fd5b5035611cb5565b6103a9611cd3565b6103a960048036036020811015610adf57600080fd5b50356001600160a01b0316611da4565b6103a960048036036040811015610b0557600080fd5b810190602081018135600160201b811115610b1f57600080fd5b820183602082011115610b3157600080fd5b803590602001918460208302840111600160201b83111715610b5257600080fd5b919390929091602081019035600160201b811115610b6f57600080fd5b820183602082011115610b8157600080fd5b803590602001918460208302840111600160201b83111715610ba257600080fd5b509092509050611df7565b6103b3611e42565b610369611e51565b6103a960048036036060811015610bd357600080fd5b506001600160a01b038135811691602081013582169160409091013516611e62565b6103d760048036036020811015610c0b57600080fd5b503561ffff1661251c565b6102c8612532565b6103a960048036036020811015610c3457600080fd5b50356001600160a01b031661258d565b6103a960048036036040811015610c5a57600080fd5b506001600160a01b0381351690602001356125dd565b61036960048036036060811015610c8657600080fd5b506001600160a01b0381358116916020810135909116906040013561262b565b61036960048036036040811015610cbc57600080fd5b506001600160a01b03813516906020013561281f565b61036960048036036040811015610ce857600080fd5b506001600160a01b03813516906020013561285b565b6103b3612a83565b6103d760048036036020811015610d1c57600080fd5b50356001600160a01b0316612a97565b6103a960048036036040811015610d4257600080fd5b506001600160a01b0381351690602001351515612aa9565b6103a960048036036020811015610d7057600080fd5b50356001600160a01b0316612b42565b6103b360048036036020811015610d9657600080fd5b50356001600160a01b0316612bd3565b6103d760048036036040811015610dbc57600080fd5b506001600160a01b0381358116916020013516612c25565b6103a960048036036020811015610dea57600080fd5b50356001600160a01b0316612c50565b6103a960048036036020811015610e1057600080fd5b50356001600160a01b0316612ca0565b6103a960048036036040811015610e3657600080fd5b810190602081018135600160201b811115610e5057600080fd5b820183602082011115610e6257600080fd5b803590602001918460208302840111600160201b83111715610e8357600080fd5b919390929091602081019035600160201b811115610ea057600080fd5b820183602082011115610eb257600080fd5b803590602001918460208302840111600160201b83111715610ed357600080fd5b509092509050612d31565b6018805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610f645780601f10610f3957610100808354040283529160200191610f64565b820191906000526020600020905b815481529060010190602001808311610f4757829003601f168201915b505050505081565b6000610f79338484612d7b565b5060015b92915050565b610f8c3361127f565b610fc75760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6000610fd283611c09565b6001600160a01b0384166000908152600a60205260409020549091508201811015611044576040805162461bcd60e51b815260206004820181905260248201527f416d6f756e74206578636565647320617661696c61626c652062616c616e6365604482015290519081900360640190fd5b6001600160a01b0383166000818152600a6020908152604091829020805486019055815185815291517fa065e63c631c86f1b9f66a4a2f63f2093bf1c2168d23290259dbd969e0222a459281900390910190a2505050565b600e546001600160a01b031681565b6004545b90565b60006110bc611e51565b6110fb576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600c54821061110957600080fd5b600c828154811061111657fe5b6000918252602090912001546001600160a01b031690505b919050565b60005b8381101561117f5761117785858381811061114d57fe5b905060200201356001600160a01b031684848481811061116957fe5b905060200201351515612aa9565b600101611136565b5050505050565b600c5490565b6111953361127f565b6111d05760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b0382166000908152600a60205260409020548111156112275760405162461bcd60e51b81526004018080602001828103825260348152602001806138eb6034913960400191505060405180910390fd5b6001600160a01b0382166000818152600a602090815260409182902080548590039055815184815291517f9bed35cb62ad0dba04f9d5bfee4b5bc91443e77da8a65c4c84834c51bb08b0d69281900390910190a25050565b6000610f7d60018363ffffffff612e6716565b60055460009060ff16156112e0576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6001600160a01b03831660009081526008602052604090205460ff1615801561132257506001600160a01b03841660009081526008602052604090205460ff16155b61132b57600080fd5b6001600160a01b0384166000908152600a602052604090205461135d9061135186611c09565b9063ffffffff612ece16565b8211156113a8576040805162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742042616c616e636560601b604482015290519081900360640190fd5b600e546040805163b9209e3360e01b81526001600160a01b0386811660048301529151919092169163b9209e33916024808301926020929190829003018186803b1580156113f557600080fd5b505afa158015611409573d6000803e3d6000fd5b505050506040513d602081101561141f57600080fd5b505180156114b15750600f54604080516372331c7360e11b81526001600160a01b0387811660048301528681166024830152604482018690529151919092169163e46638e6916064808301926020929190829003018186803b15801561148457600080fd5b505afa158015611498573d6000803e3d6000fd5b505050506040513d60208110156114ae57600080fd5b50515b156114db576114bf83612f2b565b6114c98483613031565b6114d48484846131a8565b9050611520565b6040805162461bcd60e51b81526020600482015260156024820152745472616e73666572206e6f7420706f737369626c6560581b604482015290519081900360640190fd5b9392505050565b6000611531611e51565b611570576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b506001600160a01b0390811660009081526007602052604090205416151590565b601b5460ff1681565b6115a2611e51565b6115e1576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b6115ed601889896137be565b506115fa601987876137be565b50601b805460ff191660ff8616179055611616601a84846137be565b50601b8054610100600160a81b0319166101006001600160a01b03848116820292909217928390556040805160ff8516918101829052938290049092166080840181905260a080855260188054600260018216159095026000190116939093049085018190527f6a1105ac8148a3c319adbc369f9072573e8a11d3a3d195e067e7c40767ec54d19492936019939092601a9290919081906020820190606083019060c08401908a90801561170b5780601f106116e05761010080835404028352916020019161170b565b820191906000526020600020905b8154815290600101906020018083116116ee57829003601f168201915b505084810383528854600260001961010060018416150201909116048082526020909101908990801561177f5780601f106117545761010080835404028352916020019161177f565b820191906000526020600020905b81548152906001019060200180831161176257829003601f168201915b50508481038252865460026000196101006001841615020190911604808252602090910190879080156117f35780601f106117c8576101008083540402835291602001916117f3565b820191906000526020600020905b8154815290600101906020018083116117d657829003601f168201915b50509850505050505050505060405180910390a15050505050505050565b3360008181526003602090815260408083206001600160a01b03871684529091528120549091610f7991859061184d908663ffffffff6131fa16565b612d7b565b61185b3361127f565b6118965760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b60055460ff166118e4576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b6005805460ff191690556040805133815290517f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa9181900360200190a1565b61192c3361127f565b6119675760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b600e546040805163b9209e3360e01b81526001600160a01b0385811660048301529151919092169163b9209e33916024808301926020929190829003018186803b1580156119b457600080fd5b505afa1580156119c8573d6000803e3d6000fd5b505050506040513d60208110156119de57600080fd5b5051611a31576040805162461bcd60e51b815260206004820152601960248201527f4964656e74697479206973206e6f742076657269666965642e00000000000000604482015290519081900360640190fd5b611a3b8282613254565b611a4482612f2b565b5050565b60005b85811015611aaf57611aa6878783818110611a6257fe5b905060200201356001600160a01b0316868684818110611a7e57fe5b905060200201356001600160a01b0316858585818110611a9a57fe5b9050602002013561262b565b50600101611a4b565b50505050505050565b60005b8381101561117f57611afa858583818110611ad257fe5b905060200201356001600160a01b0316848484818110611aee57fe5b9050602002013561118c565b600101611abb565b60005b8381101561117f57611b44858583818110611b1c57fe5b905060200201356001600160a01b0316848484818110611b3857fe5b905060200201356125dd565b600101611b05565b601a805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610f645780601f10610f3957610100808354040283529160200191610f64565b60055460ff1690565b600f546001600160a01b031681565b60005b8381101561117f57611c01858583818110611bd957fe5b905060200201356001600160a01b0316848484818110611bf557fe5b90506020020135611923565b600101611bc2565b6001600160a01b031660009081526002602052604090205490565b611c2c611e51565b611c6b576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600d8181548110611cc257fe5b600091825260209091200154905081565b611cdc3361127f565b611d175760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b60055460ff1615611d62576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6005805460ff191660011790556040805133815290517f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589181900360200190a1565b611dac611e51565b611deb576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b611df481613346565b50565b60005b8381101561117f57611e39858583818110611e1157fe5b905060200201356001600160a01b0316848484818110611e2d57fe5b9050602002013561285b565b50600101611dfa565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b611e6b3361127f565b611ea65760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b03831660009081526006602052604090205415801590611ee357506001600160a01b038216600090815260066020526040902054155b611eec57600080fd5b600e5460408051630bb7c8fd60e31b81526001600160a01b03868116600483015291519190921691635dbe47e8916024808301926020929190829003018186803b158015611f3957600080fd5b505afa158015611f4d573d6000803e3d6000fd5b505050506040513d6020811015611f6357600080fd5b5051611fb6576040805162461bcd60e51b815260206004820181905260248201527f77616c6c65742073686f756c6420626520696e20746865207265676973747279604482015290519081900360640190fd5b604080513360208083019190915282518083038201815282840180855281519183019190912063d202158d60e01b909152604483018190526001606484015292518493926001600160a01b0385169263d202158d92608480840193829003018186803b15801561202557600080fd5b505afa158015612039573d6000803e3d6000fd5b505050506040513d602081101561204f57600080fd5b5051156124ca57600061206186611c09565b905061206d868261338e565b604080516001600160a01b0380891660208084019190915283518084038201815283850180865281519183019190912063d202158d60e01b909152604484018190526001606485015293519187169263d202158d9260848083019392829003018186803b1580156120dd57600080fd5b505afa1580156120f1573d6000803e3d6000fd5b505050506040513d602081101561210757600080fd5b505115612277576060846001600160a01b031663fb307b34836040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b15801561215457600080fd5b505afa158015612168573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052602081101561219157600080fd5b810190808051600160201b8111156121a857600080fd5b820160208101848111156121bb57600080fd5b81518560208202830111600160201b821117156121d757600080fd5b50909450600093505050505b8151811161227457801561226c57856001600160a01b03166353d413c584836040518363ffffffff1660e01b81526004018083815260200182815260200192505050602060405180830381600087803b15801561223f57600080fd5b505af1158015612253573d6000803e3d6000fd5b505050506040513d602081101561226957600080fd5b50505b6001016121e3565b50505b600e5460408051637e42683b60e01b81526001600160a01b038a811660048301529151919092169163454a03e091899188918591637e42683b916024808301926020929190829003018186803b1580156122d057600080fd5b505afa1580156122e4573d6000803e3d6000fd5b505050506040513d60208110156122fa57600080fd5b5051604080516001600160e01b031960e087901b1681526001600160a01b03948516600482015292909316602483015261ffff1660448201529051606480830192600092919082900301818387803b15801561235557600080fd5b505af1158015612369573d6000803e3d6000fd5b5050600e546040805163a8d29d1d60e01b81526001600160a01b038c81166004830152915191909216935063a8d29d1d9250602480830192600092919082900301818387803b1580156123bb57600080fd5b505af11580156123cf573d6000803e3d6000fd5b505050506001600160a01b03878116600090815260076020908152604080832080546001600160a01b031916948b1694909417909355600690522054600c8054600019909201918891908390811061242357fe5b600091825260208083209190910180546001600160a01b0319166001600160a01b039485161790558a8316808352600690915260408083208054948c16845290832093909355815290556124778784613254565b604080516001600160a01b03808b168252808a16602083015288168183015290517f89d3682fc860be1a58e96a6f408d362eeac3f7fbcd0aa6b92f7c84a99ada57089181900360600190a150505061117f565b604080516001600160a01b038088168252808716602083015285168183015290517fc2a7c9d8db58e0dc94ef83cdcdb079b07a7312d9ce3ebbd999354bce88de03969181900360600190a15050505050565b61ffff166000908152600b602052604090205490565b6019805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610f645780601f10610f3957610100808354040283529160200191610f64565b612595611e51565b6125d4576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b611df481613469565b6125e63361127f565b6126215760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b611a44828261338e565b60006126363361127f565b6126715760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b0384166000908152600a60205260409020546126979061135186611c09565b8211156126eb576040805162461bcd60e51b815260206004820152601f60248201527f53656e6465722048617320496e73756666696369656e742042616c616e636500604482015290519081900360640190fd5b600e546040805163b9209e3360e01b81526001600160a01b0386811660048301529151919092169163b9209e33916024808301926020929190829003018186803b15801561273857600080fd5b505afa15801561274c573d6000803e3d6000fd5b505050506040513d602081101561276257600080fd5b505180156127f45750600f54604080516372331c7360e11b81526001600160a01b0387811660048301528681166024830152604482018690529151919092169163e46638e6916064808301926020929190829003018186803b1580156127c757600080fd5b505afa1580156127db573d6000803e3d6000fd5b505050506040513d60208110156127f157600080fd5b50515b156114db5761280283612f2b565b61280c8483613031565b6128178484846134b1565b506001611520565b3360008181526003602090815260408083206001600160a01b03871684529091528120549091610f7991859061184d908663ffffffff612ece16565b60055460009060ff16156128a9576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6001600160a01b03831660009081526008602052604090205460ff161580156128e257503360009081526008602052604090205460ff16155b6128eb57600080fd5b336000818152600a60205260409020546129089161135190611c09565b821115612953576040805162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742042616c616e636560601b604482015290519081900360640190fd5b600e546040805163b9209e3360e01b81526001600160a01b0386811660048301529151919092169163b9209e33916024808301926020929190829003018186803b1580156129a057600080fd5b505afa1580156129b4573d6000803e3d6000fd5b505050506040513d60208110156129ca57600080fd5b50518015612a5a5750600f54604080516372331c7360e11b81523360048201526001600160a01b038681166024830152604482018690529151919092169163e46638e6916064808301926020929190829003018186803b158015612a2d57600080fd5b505afa158015612a41573d6000803e3d6000fd5b505050506040513d6020811015612a5757600080fd5b50515b156114db57612a6883612f2b565b612a723383613031565b612a7c83836135f5565b9050610f7d565b601b5461010090046001600160a01b031681565b600a6020526000908152604090205481565b612ab23361127f565b612aed5760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b038216600081815260086020526040808220805460ff19168515159081179091559051339391927f7fa523c84ab8d7fc5b72f08b9e46dbbf10c39e119a075b3e317002d14bc9f43691a45050565b612b4a611e51565b612b89576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600e80546001600160a01b0319166001600160a01b0383169081179091556040517fd2be862d755bca7e0d39772b2cab3a5578da9c285f69199f4c063c2294a7f36c90600090a250565b6000612bdd611e51565b612c1c576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b610f7d82613602565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b612c58611e51565b612c97576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b611df481613636565b612ca8611e51565b612ce7576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600f80546001600160a01b0319166001600160a01b0383169081179091556040517f7f3a888862559648ec01d97deb7b5012bff86dc91e654a1de397170db40e35b690600090a250565b60005b8381101561117f57612d73858583818110612d4b57fe5b905060200201356001600160a01b0316848484818110612d6757fe5b90506020020135610f83565b600101612d34565b6001600160a01b038316612dc05760405162461bcd60e51b81526004018080602001828103825260248152602001806139f66024913960400191505060405180910390fd5b6001600160a01b038216612e055760405162461bcd60e51b81526004018080602001828103825260228152602001806138c96022913960400191505060405180910390fd5b6001600160a01b03808416600081815260036020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60006001600160a01b038216612eae5760405162461bcd60e51b815260040180806020018281038252602281526020018061398e6022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b600082821115612f25576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b038116600090815260066020526040902054611df457600c805460018101918290557fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c70180546001600160a01b0319166001600160a01b03848116918217909255600081815260066020908152604080832095909555600e548551637e42683b60e01b815260048101949094529451919490931692637e42683b9260248082019391829003018186803b158015612fe857600080fd5b505afa158015612ffc573d6000803e3d6000fd5b505050506040513d602081101561301257600080fd5b505161ffff166000908152600b60205260409020805460010190555050565b60008161303d84611c09565b039050801561304c5750611a44565b6001600160a01b038316600090815260066020526040812054600c8054600019928301939281019291908390811061308057fe5b600091825260209091200154600c80546001600160a01b0390921692508291859081106130a957fe5b600091825260208083209190910180546001600160a01b0319166001600160a01b039485161790558883168252600690526040808220549284168252902055600c8054906130fb90600019830161383c565b506001600160a01b038087166000818152600660209081526040808320839055600e548151637e42683b60e01b81526004810195909552905192941692637e42683b9260248083019392829003018186803b15801561315957600080fd5b505afa15801561316d573d6000803e3d6000fd5b505050506040513d602081101561318357600080fd5b505161ffff166000908152600b60205260409020805460001901905550505050505050565b60006131b58484846134b1565b6001600160a01b0384166000908152600360209081526040808320338085529252909120546131f091869161184d908663ffffffff612ece16565b5060019392505050565b600082820183811015611520576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b0382166132af576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b6004546132c2908263ffffffff6131fa16565b6004556001600160a01b0382166000908152600260205260409020546132ee908263ffffffff6131fa16565b6001600160a01b03831660008181526002602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b61335760018263ffffffff6136d616565b6040516001600160a01b038216907ff68e73cec97f2d70aa641fb26e87a4383686e2efacb648f2165aeb02ac562ec590600090a250565b6001600160a01b0382166133d35760405162461bcd60e51b81526004018080602001828103825260218152602001806139b06021913960400191505060405180910390fd5b6004546133e6908263ffffffff612ece16565b6004556001600160a01b038216600090815260026020526040902054613412908263ffffffff612ece16565b6001600160a01b0383166000818152600260209081526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b61347a60018263ffffffff61375716565b6040516001600160a01b038216907fed9c8ad8d5a0a66898ea49d2956929c93ae2e8bd50281b2ed897c5d1a6737e0b90600090a250565b6001600160a01b0383166134f65760405162461bcd60e51b81526004018080602001828103825260258152602001806139d16025913960400191505060405180910390fd5b6001600160a01b03821661353b5760405162461bcd60e51b81526004018080602001828103825260238152602001806138806023913960400191505060405180910390fd5b6001600160a01b038316600090815260026020526040902054613564908263ffffffff612ece16565b6001600160a01b038085166000908152600260205260408082209390935590841681522054613599908263ffffffff6131fa16565b6001600160a01b0380841660008181526002602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000610f793384846134b1565b6001600160a01b038082166000908152600760205260408120549091168061362d578291505061112e565b61152081613602565b6001600160a01b03811661367b5760405162461bcd60e51b81526004018080602001828103825260268152602001806138a36026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6136e08282612e67565b15613732576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6137618282612e67565b61379c5760405162461bcd60e51b815260040180806020018281038252602181526020018061394d6021913960400191505060405180910390fd5b6001600160a01b0316600090815260209190915260409020805460ff19169055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106137ff5782800160ff1982351617855561382c565b8280016001018555821561382c579182015b8281111561382c578235825591602001919060010190613811565b50613838929150613865565b5090565b81548183558181111561386057600083815260209020613860918101908301613865565b505050565b6110af91905b80821115613838576000815560010161386b56fe45524332303a207472616e7366657220746f20746865207a65726f20616464726573734f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373416d6f756e742073686f756c64206265206c657373207468616e206f7220657175616c20746f2066726f7a656e20746f6b656e734167656e74526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204167656e7420726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c654f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a72305820486bc288675eca0e6acd5c14d6b50799632d4929afdf93402c48d15689b9331d64736f6c634300050a0032000000000000000000000000991aab18762d9d0e137332630f5b287943cca5210000000000000000000000009dcc5ccf8723a17fb6532fd64c34bfb6b61c0ff8

0x608060405234801561001057600080fd5b50600436106102bb5760003560e01c806370a08231116101825780639dc29fac116100e9578063c69c09cf116100a2578063dd62ed3e1161007c578063dd62ed3e14610da6578063f2fde38b14610dd4578063f898178914610dfa578063fc7e5fa814610e20576102bb565b8063c69c09cf14610d2c578063cbf3f86114610d5a578063cc397ed314610d80576102bb565b80639dc29fac14610c445780639fc1d0e714610c70578063a457c2d714610ca6578063a9059cbb14610cd2578063aba6370514610cfe578063bfd8580814610d06576102bb565b80638da5cb5b1161013b5780638da5cb5b14610bad5780638f32d59b14610bb55780639285948a14610bbd578063951f17ae14610bf557806395d89b4114610c1657806397a6278e14610c1e576102bb565b806370a0823114610a76578063715018a614610a9c5780638117c18b14610aa45780638456cb5914610ac157806384e7984214610ac957806388d695b214610aef576102bb565b8063313ce567116102265780634710362d116101df5780634710362d146108245780634a6cc677146108e257806354fd4d50146109a05780635c975abb146109a85780636290865d146109b057806368573107146109b8576102bb565b8063313ce5671461057a578063351341131461059857806339509351146106b65780633f4ba83a146106e257806340c10f19146106ea57806342a47abc14610716576102bb565b80631a7af379116102785780631a7af379146104065780631aab9a9f146104c45780631fe56f7d146104cc5780631ffbb064146104f857806323b872dd1461051e5780632da7293e14610554576102bb565b806306fdde03146102c0578063095ea7b31461033d578063125c4a331461037d578063134e18f4146103ab57806318160ddd146103cf578063197bc336146103e9575b600080fd5b6102c8610ede565b6040805160208082528351818301528351919283929083019185019080838360005b838110156103025781810151838201526020016102ea565b50505050905090810190601f16801561032f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103696004803603604081101561035357600080fd5b506001600160a01b038135169060200135610f6c565b604080519115158252519081900360200190f35b6103a96004803603604081101561039357600080fd5b506001600160a01b038135169060200135610f83565b005b6103b361109c565b604080516001600160a01b039092168252519081900360200190f35b6103d76110ab565b60408051918252519081900360200190f35b6103b3600480360360208110156103ff57600080fd5b50356110b2565b6103a96004803603604081101561041c57600080fd5b810190602081018135600160201b81111561043657600080fd5b82018360208201111561044857600080fd5b803590602001918460208302840111600160201b8311171561046957600080fd5b919390929091602081019035600160201b81111561048657600080fd5b82018360208201111561049857600080fd5b803590602001918460208302840111600160201b831117156104b957600080fd5b509092509050611133565b6103d7611186565b6103a9600480360360408110156104e257600080fd5b506001600160a01b03813516906020013561118c565b6103696004803603602081101561050e57600080fd5b50356001600160a01b031661127f565b6103696004803603606081101561053457600080fd5b506001600160a01b03813581169160208101359091169060400135611292565b6103696004803603602081101561056a57600080fd5b50356001600160a01b0316611527565b610582611591565b6040805160ff9092168252519081900360200190f35b6103a9600480360360a08110156105ae57600080fd5b810190602081018135600160201b8111156105c857600080fd5b8201836020820111156105da57600080fd5b803590602001918460018302840111600160201b831117156105fb57600080fd5b919390929091602081019035600160201b81111561061857600080fd5b82018360208201111561062a57600080fd5b803590602001918460018302840111600160201b8311171561064b57600080fd5b9193909260ff83351692604081019060200135600160201b81111561066f57600080fd5b82018360208201111561068157600080fd5b803590602001918460018302840111600160201b831117156106a257600080fd5b9193509150356001600160a01b031661159a565b610369600480360360408110156106cc57600080fd5b506001600160a01b038135169060200135611811565b6103a9611852565b6103a96004803603604081101561070057600080fd5b506001600160a01b038135169060200135611923565b6103a96004803603606081101561072c57600080fd5b810190602081018135600160201b81111561074657600080fd5b82018360208201111561075857600080fd5b803590602001918460208302840111600160201b8311171561077957600080fd5b919390929091602081019035600160201b81111561079657600080fd5b8201836020820111156107a857600080fd5b803590602001918460208302840111600160201b831117156107c957600080fd5b919390929091602081019035600160201b8111156107e657600080fd5b8201836020820111156107f857600080fd5b803590602001918460208302840111600160201b8311171561081957600080fd5b509092509050611a48565b6103a96004803603604081101561083a57600080fd5b810190602081018135600160201b81111561085457600080fd5b82018360208201111561086657600080fd5b803590602001918460208302840111600160201b8311171561088757600080fd5b919390929091602081019035600160201b8111156108a457600080fd5b8201836020820111156108b657600080fd5b803590602001918460208302840111600160201b831117156108d757600080fd5b509092509050611ab8565b6103a9600480360360408110156108f857600080fd5b810190602081018135600160201b81111561091257600080fd5b82018360208201111561092457600080fd5b803590602001918460208302840111600160201b8311171561094557600080fd5b919390929091602081019035600160201b81111561096257600080fd5b82018360208201111561097457600080fd5b803590602001918460208302840111600160201b8311171561099557600080fd5b509092509050611b02565b6102c8611b4c565b610369611ba7565b6103b3611bb0565b6103a9600480360360408110156109ce57600080fd5b810190602081018135600160201b8111156109e857600080fd5b8201836020820111156109fa57600080fd5b803590602001918460208302840111600160201b83111715610a1b57600080fd5b919390929091602081019035600160201b811115610a3857600080fd5b820183602082011115610a4a57600080fd5b803590602001918460208302840111600160201b83111715610a6b57600080fd5b509092509050611bbf565b6103d760048036036020811015610a8c57600080fd5b50356001600160a01b0316611c09565b6103a9611c24565b6103d760048036036020811015610aba57600080fd5b5035611cb5565b6103a9611cd3565b6103a960048036036020811015610adf57600080fd5b50356001600160a01b0316611da4565b6103a960048036036040811015610b0557600080fd5b810190602081018135600160201b811115610b1f57600080fd5b820183602082011115610b3157600080fd5b803590602001918460208302840111600160201b83111715610b5257600080fd5b919390929091602081019035600160201b811115610b6f57600080fd5b820183602082011115610b8157600080fd5b803590602001918460208302840111600160201b83111715610ba257600080fd5b509092509050611df7565b6103b3611e42565b610369611e51565b6103a960048036036060811015610bd357600080fd5b506001600160a01b038135811691602081013582169160409091013516611e62565b6103d760048036036020811015610c0b57600080fd5b503561ffff1661251c565b6102c8612532565b6103a960048036036020811015610c3457600080fd5b50356001600160a01b031661258d565b6103a960048036036040811015610c5a57600080fd5b506001600160a01b0381351690602001356125dd565b61036960048036036060811015610c8657600080fd5b506001600160a01b0381358116916020810135909116906040013561262b565b61036960048036036040811015610cbc57600080fd5b506001600160a01b03813516906020013561281f565b61036960048036036040811015610ce857600080fd5b506001600160a01b03813516906020013561285b565b6103b3612a83565b6103d760048036036020811015610d1c57600080fd5b50356001600160a01b0316612a97565b6103a960048036036040811015610d4257600080fd5b506001600160a01b0381351690602001351515612aa9565b6103a960048036036020811015610d7057600080fd5b50356001600160a01b0316612b42565b6103b360048036036020811015610d9657600080fd5b50356001600160a01b0316612bd3565b6103d760048036036040811015610dbc57600080fd5b506001600160a01b0381358116916020013516612c25565b6103a960048036036020811015610dea57600080fd5b50356001600160a01b0316612c50565b6103a960048036036020811015610e1057600080fd5b50356001600160a01b0316612ca0565b6103a960048036036040811015610e3657600080fd5b810190602081018135600160201b811115610e5057600080fd5b820183602082011115610e6257600080fd5b803590602001918460208302840111600160201b83111715610e8357600080fd5b919390929091602081019035600160201b811115610ea057600080fd5b820183602082011115610eb257600080fd5b803590602001918460208302840111600160201b83111715610ed357600080fd5b509092509050612d31565b6018805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610f645780601f10610f3957610100808354040283529160200191610f64565b820191906000526020600020905b815481529060010190602001808311610f4757829003601f168201915b505050505081565b6000610f79338484612d7b565b5060015b92915050565b610f8c3361127f565b610fc75760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6000610fd283611c09565b6001600160a01b0384166000908152600a60205260409020549091508201811015611044576040805162461bcd60e51b815260206004820181905260248201527f416d6f756e74206578636565647320617661696c61626c652062616c616e6365604482015290519081900360640190fd5b6001600160a01b0383166000818152600a6020908152604091829020805486019055815185815291517fa065e63c631c86f1b9f66a4a2f63f2093bf1c2168d23290259dbd969e0222a459281900390910190a2505050565b600e546001600160a01b031681565b6004545b90565b60006110bc611e51565b6110fb576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600c54821061110957600080fd5b600c828154811061111657fe5b6000918252602090912001546001600160a01b031690505b919050565b60005b8381101561117f5761117785858381811061114d57fe5b905060200201356001600160a01b031684848481811061116957fe5b905060200201351515612aa9565b600101611136565b5050505050565b600c5490565b6111953361127f565b6111d05760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b0382166000908152600a60205260409020548111156112275760405162461bcd60e51b81526004018080602001828103825260348152602001806138eb6034913960400191505060405180910390fd5b6001600160a01b0382166000818152600a602090815260409182902080548590039055815184815291517f9bed35cb62ad0dba04f9d5bfee4b5bc91443e77da8a65c4c84834c51bb08b0d69281900390910190a25050565b6000610f7d60018363ffffffff612e6716565b60055460009060ff16156112e0576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6001600160a01b03831660009081526008602052604090205460ff1615801561132257506001600160a01b03841660009081526008602052604090205460ff16155b61132b57600080fd5b6001600160a01b0384166000908152600a602052604090205461135d9061135186611c09565b9063ffffffff612ece16565b8211156113a8576040805162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742042616c616e636560601b604482015290519081900360640190fd5b600e546040805163b9209e3360e01b81526001600160a01b0386811660048301529151919092169163b9209e33916024808301926020929190829003018186803b1580156113f557600080fd5b505afa158015611409573d6000803e3d6000fd5b505050506040513d602081101561141f57600080fd5b505180156114b15750600f54604080516372331c7360e11b81526001600160a01b0387811660048301528681166024830152604482018690529151919092169163e46638e6916064808301926020929190829003018186803b15801561148457600080fd5b505afa158015611498573d6000803e3d6000fd5b505050506040513d60208110156114ae57600080fd5b50515b156114db576114bf83612f2b565b6114c98483613031565b6114d48484846131a8565b9050611520565b6040805162461bcd60e51b81526020600482015260156024820152745472616e73666572206e6f7420706f737369626c6560581b604482015290519081900360640190fd5b9392505050565b6000611531611e51565b611570576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b506001600160a01b0390811660009081526007602052604090205416151590565b601b5460ff1681565b6115a2611e51565b6115e1576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b6115ed601889896137be565b506115fa601987876137be565b50601b805460ff191660ff8616179055611616601a84846137be565b50601b8054610100600160a81b0319166101006001600160a01b03848116820292909217928390556040805160ff8516918101829052938290049092166080840181905260a080855260188054600260018216159095026000190116939093049085018190527f6a1105ac8148a3c319adbc369f9072573e8a11d3a3d195e067e7c40767ec54d19492936019939092601a9290919081906020820190606083019060c08401908a90801561170b5780601f106116e05761010080835404028352916020019161170b565b820191906000526020600020905b8154815290600101906020018083116116ee57829003601f168201915b505084810383528854600260001961010060018416150201909116048082526020909101908990801561177f5780601f106117545761010080835404028352916020019161177f565b820191906000526020600020905b81548152906001019060200180831161176257829003601f168201915b50508481038252865460026000196101006001841615020190911604808252602090910190879080156117f35780601f106117c8576101008083540402835291602001916117f3565b820191906000526020600020905b8154815290600101906020018083116117d657829003601f168201915b50509850505050505050505060405180910390a15050505050505050565b3360008181526003602090815260408083206001600160a01b03871684529091528120549091610f7991859061184d908663ffffffff6131fa16565b612d7b565b61185b3361127f565b6118965760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b60055460ff166118e4576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b6005805460ff191690556040805133815290517f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa9181900360200190a1565b61192c3361127f565b6119675760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b600e546040805163b9209e3360e01b81526001600160a01b0385811660048301529151919092169163b9209e33916024808301926020929190829003018186803b1580156119b457600080fd5b505afa1580156119c8573d6000803e3d6000fd5b505050506040513d60208110156119de57600080fd5b5051611a31576040805162461bcd60e51b815260206004820152601960248201527f4964656e74697479206973206e6f742076657269666965642e00000000000000604482015290519081900360640190fd5b611a3b8282613254565b611a4482612f2b565b5050565b60005b85811015611aaf57611aa6878783818110611a6257fe5b905060200201356001600160a01b0316868684818110611a7e57fe5b905060200201356001600160a01b0316858585818110611a9a57fe5b9050602002013561262b565b50600101611a4b565b50505050505050565b60005b8381101561117f57611afa858583818110611ad257fe5b905060200201356001600160a01b0316848484818110611aee57fe5b9050602002013561118c565b600101611abb565b60005b8381101561117f57611b44858583818110611b1c57fe5b905060200201356001600160a01b0316848484818110611b3857fe5b905060200201356125dd565b600101611b05565b601a805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610f645780601f10610f3957610100808354040283529160200191610f64565b60055460ff1690565b600f546001600160a01b031681565b60005b8381101561117f57611c01858583818110611bd957fe5b905060200201356001600160a01b0316848484818110611bf557fe5b90506020020135611923565b600101611bc2565b6001600160a01b031660009081526002602052604090205490565b611c2c611e51565b611c6b576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600d8181548110611cc257fe5b600091825260209091200154905081565b611cdc3361127f565b611d175760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b60055460ff1615611d62576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6005805460ff191660011790556040805133815290517f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589181900360200190a1565b611dac611e51565b611deb576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b611df481613346565b50565b60005b8381101561117f57611e39858583818110611e1157fe5b905060200201356001600160a01b0316848484818110611e2d57fe5b9050602002013561285b565b50600101611dfa565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b611e6b3361127f565b611ea65760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b03831660009081526006602052604090205415801590611ee357506001600160a01b038216600090815260066020526040902054155b611eec57600080fd5b600e5460408051630bb7c8fd60e31b81526001600160a01b03868116600483015291519190921691635dbe47e8916024808301926020929190829003018186803b158015611f3957600080fd5b505afa158015611f4d573d6000803e3d6000fd5b505050506040513d6020811015611f6357600080fd5b5051611fb6576040805162461bcd60e51b815260206004820181905260248201527f77616c6c65742073686f756c6420626520696e20746865207265676973747279604482015290519081900360640190fd5b604080513360208083019190915282518083038201815282840180855281519183019190912063d202158d60e01b909152604483018190526001606484015292518493926001600160a01b0385169263d202158d92608480840193829003018186803b15801561202557600080fd5b505afa158015612039573d6000803e3d6000fd5b505050506040513d602081101561204f57600080fd5b5051156124ca57600061206186611c09565b905061206d868261338e565b604080516001600160a01b0380891660208084019190915283518084038201815283850180865281519183019190912063d202158d60e01b909152604484018190526001606485015293519187169263d202158d9260848083019392829003018186803b1580156120dd57600080fd5b505afa1580156120f1573d6000803e3d6000fd5b505050506040513d602081101561210757600080fd5b505115612277576060846001600160a01b031663fb307b34836040518263ffffffff1660e01b81526004018082815260200191505060006040518083038186803b15801561215457600080fd5b505afa158015612168573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052602081101561219157600080fd5b810190808051600160201b8111156121a857600080fd5b820160208101848111156121bb57600080fd5b81518560208202830111600160201b821117156121d757600080fd5b50909450600093505050505b8151811161227457801561226c57856001600160a01b03166353d413c584836040518363ffffffff1660e01b81526004018083815260200182815260200192505050602060405180830381600087803b15801561223f57600080fd5b505af1158015612253573d6000803e3d6000fd5b505050506040513d602081101561226957600080fd5b50505b6001016121e3565b50505b600e5460408051637e42683b60e01b81526001600160a01b038a811660048301529151919092169163454a03e091899188918591637e42683b916024808301926020929190829003018186803b1580156122d057600080fd5b505afa1580156122e4573d6000803e3d6000fd5b505050506040513d60208110156122fa57600080fd5b5051604080516001600160e01b031960e087901b1681526001600160a01b03948516600482015292909316602483015261ffff1660448201529051606480830192600092919082900301818387803b15801561235557600080fd5b505af1158015612369573d6000803e3d6000fd5b5050600e546040805163a8d29d1d60e01b81526001600160a01b038c81166004830152915191909216935063a8d29d1d9250602480830192600092919082900301818387803b1580156123bb57600080fd5b505af11580156123cf573d6000803e3d6000fd5b505050506001600160a01b03878116600090815260076020908152604080832080546001600160a01b031916948b1694909417909355600690522054600c8054600019909201918891908390811061242357fe5b600091825260208083209190910180546001600160a01b0319166001600160a01b039485161790558a8316808352600690915260408083208054948c16845290832093909355815290556124778784613254565b604080516001600160a01b03808b168252808a16602083015288168183015290517f89d3682fc860be1a58e96a6f408d362eeac3f7fbcd0aa6b92f7c84a99ada57089181900360600190a150505061117f565b604080516001600160a01b038088168252808716602083015285168183015290517fc2a7c9d8db58e0dc94ef83cdcdb079b07a7312d9ce3ebbd999354bce88de03969181900360600190a15050505050565b61ffff166000908152600b602052604090205490565b6019805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610f645780601f10610f3957610100808354040283529160200191610f64565b612595611e51565b6125d4576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b611df481613469565b6125e63361127f565b6126215760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b611a44828261338e565b60006126363361127f565b6126715760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b0384166000908152600a60205260409020546126979061135186611c09565b8211156126eb576040805162461bcd60e51b815260206004820152601f60248201527f53656e6465722048617320496e73756666696369656e742042616c616e636500604482015290519081900360640190fd5b600e546040805163b9209e3360e01b81526001600160a01b0386811660048301529151919092169163b9209e33916024808301926020929190829003018186803b15801561273857600080fd5b505afa15801561274c573d6000803e3d6000fd5b505050506040513d602081101561276257600080fd5b505180156127f45750600f54604080516372331c7360e11b81526001600160a01b0387811660048301528681166024830152604482018690529151919092169163e46638e6916064808301926020929190829003018186803b1580156127c757600080fd5b505afa1580156127db573d6000803e3d6000fd5b505050506040513d60208110156127f157600080fd5b50515b156114db5761280283612f2b565b61280c8483613031565b6128178484846134b1565b506001611520565b3360008181526003602090815260408083206001600160a01b03871684529091528120549091610f7991859061184d908663ffffffff612ece16565b60055460009060ff16156128a9576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6001600160a01b03831660009081526008602052604090205460ff161580156128e257503360009081526008602052604090205460ff16155b6128eb57600080fd5b336000818152600a60205260409020546129089161135190611c09565b821115612953576040805162461bcd60e51b8152602060048201526014602482015273496e73756666696369656e742042616c616e636560601b604482015290519081900360640190fd5b600e546040805163b9209e3360e01b81526001600160a01b0386811660048301529151919092169163b9209e33916024808301926020929190829003018186803b1580156129a057600080fd5b505afa1580156129b4573d6000803e3d6000fd5b505050506040513d60208110156129ca57600080fd5b50518015612a5a5750600f54604080516372331c7360e11b81523360048201526001600160a01b038681166024830152604482018690529151919092169163e46638e6916064808301926020929190829003018186803b158015612a2d57600080fd5b505afa158015612a41573d6000803e3d6000fd5b505050506040513d6020811015612a5757600080fd5b50515b156114db57612a6883612f2b565b612a723383613031565b612a7c83836135f5565b9050610f7d565b601b5461010090046001600160a01b031681565b600a6020526000908152604090205481565b612ab23361127f565b612aed5760405162461bcd60e51b815260040180806020018281038252602e81526020018061391f602e913960400191505060405180910390fd5b6001600160a01b038216600081815260086020526040808220805460ff19168515159081179091559051339391927f7fa523c84ab8d7fc5b72f08b9e46dbbf10c39e119a075b3e317002d14bc9f43691a45050565b612b4a611e51565b612b89576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600e80546001600160a01b0319166001600160a01b0383169081179091556040517fd2be862d755bca7e0d39772b2cab3a5578da9c285f69199f4c063c2294a7f36c90600090a250565b6000612bdd611e51565b612c1c576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b610f7d82613602565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b612c58611e51565b612c97576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b611df481613636565b612ca8611e51565b612ce7576040805162461bcd60e51b8152602060048201819052602482015260008051602061396e833981519152604482015290519081900360640190fd5b600f80546001600160a01b0319166001600160a01b0383169081179091556040517f7f3a888862559648ec01d97deb7b5012bff86dc91e654a1de397170db40e35b690600090a250565b60005b8381101561117f57612d73858583818110612d4b57fe5b905060200201356001600160a01b0316848484818110612d6757fe5b90506020020135610f83565b600101612d34565b6001600160a01b038316612dc05760405162461bcd60e51b81526004018080602001828103825260248152602001806139f66024913960400191505060405180910390fd5b6001600160a01b038216612e055760405162461bcd60e51b81526004018080602001828103825260228152602001806138c96022913960400191505060405180910390fd5b6001600160a01b03808416600081815260036020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60006001600160a01b038216612eae5760405162461bcd60e51b815260040180806020018281038252602281526020018061398e6022913960400191505060405180910390fd5b506001600160a01b03166000908152602091909152604090205460ff1690565b600082821115612f25576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b038116600090815260066020526040902054611df457600c805460018101918290557fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c70180546001600160a01b0319166001600160a01b03848116918217909255600081815260066020908152604080832095909555600e548551637e42683b60e01b815260048101949094529451919490931692637e42683b9260248082019391829003018186803b158015612fe857600080fd5b505afa158015612ffc573d6000803e3d6000fd5b505050506040513d602081101561301257600080fd5b505161ffff166000908152600b60205260409020805460010190555050565b60008161303d84611c09565b039050801561304c5750611a44565b6001600160a01b038316600090815260066020526040812054600c8054600019928301939281019291908390811061308057fe5b600091825260209091200154600c80546001600160a01b0390921692508291859081106130a957fe5b600091825260208083209190910180546001600160a01b0319166001600160a01b039485161790558883168252600690526040808220549284168252902055600c8054906130fb90600019830161383c565b506001600160a01b038087166000818152600660209081526040808320839055600e548151637e42683b60e01b81526004810195909552905192941692637e42683b9260248083019392829003018186803b15801561315957600080fd5b505afa15801561316d573d6000803e3d6000fd5b505050506040513d602081101561318357600080fd5b505161ffff166000908152600b60205260409020805460001901905550505050505050565b60006131b58484846134b1565b6001600160a01b0384166000908152600360209081526040808320338085529252909120546131f091869161184d908663ffffffff612ece16565b5060019392505050565b600082820183811015611520576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b0382166132af576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b6004546132c2908263ffffffff6131fa16565b6004556001600160a01b0382166000908152600260205260409020546132ee908263ffffffff6131fa16565b6001600160a01b03831660008181526002602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b61335760018263ffffffff6136d616565b6040516001600160a01b038216907ff68e73cec97f2d70aa641fb26e87a4383686e2efacb648f2165aeb02ac562ec590600090a250565b6001600160a01b0382166133d35760405162461bcd60e51b81526004018080602001828103825260218152602001806139b06021913960400191505060405180910390fd5b6004546133e6908263ffffffff612ece16565b6004556001600160a01b038216600090815260026020526040902054613412908263ffffffff612ece16565b6001600160a01b0383166000818152600260209081526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b61347a60018263ffffffff61375716565b6040516001600160a01b038216907fed9c8ad8d5a0a66898ea49d2956929c93ae2e8bd50281b2ed897c5d1a6737e0b90600090a250565b6001600160a01b0383166134f65760405162461bcd60e51b81526004018080602001828103825260258152602001806139d16025913960400191505060405180910390fd5b6001600160a01b03821661353b5760405162461bcd60e51b81526004018080602001828103825260238152602001806138806023913960400191505060405180910390fd5b6001600160a01b038316600090815260026020526040902054613564908263ffffffff612ece16565b6001600160a01b038085166000908152600260205260408082209390935590841681522054613599908263ffffffff6131fa16565b6001600160a01b0380841660008181526002602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000610f793384846134b1565b6001600160a01b038082166000908152600760205260408120549091168061362d578291505061112e565b61152081613602565b6001600160a01b03811661367b5760405162461bcd60e51b81526004018080602001828103825260268152602001806138a36026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6136e08282612e67565b15613732576040805162461bcd60e51b815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b6001600160a01b0316600090815260209190915260409020805460ff19166001179055565b6137618282612e67565b61379c5760405162461bcd60e51b815260040180806020018281038252602181526020018061394d6021913960400191505060405180910390fd5b6001600160a01b0316600090815260209190915260409020805460ff19169055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106137ff5782800160ff1982351617855561382c565b8280016001018555821561382c579182015b8281111561382c578235825591602001919060010190613811565b50613838929150613865565b5090565b81548183558181111561386057600083815260209020613860918101908301613865565b505050565b6110af91905b80821115613838576000815560010161386b56fe45524332303a207472616e7366657220746f20746865207a65726f20616464726573734f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373416d6f756e742073686f756c64206265206c657373207468616e206f7220657175616c20746f2066726f7a656e20746f6b656e734167656e74526f6c653a2063616c6c657220646f6573206e6f74206861766520746865204167656e7420726f6c65526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c654f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a72305820486bc288675eca0e6acd5c14d6b50799632d4929afdf93402c48d15689b9331d64736f6c634300050a0032

74094:901:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;74094:901:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;74147:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;74147:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;42150:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;42150:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;66807:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;66807:301:0;;;;;;;;:::i;:::-;;54260:41;;;:::i;:::-;;;;-1:-1:-1;;;;;54260:41:0;;;;;;;;;;;;;;41173:91;;;:::i;:::-;;;;;;;;;;;;;;;;62189:164;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62189:164:0;;:::i;66378:224::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;66378:224:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;66378:224:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;66378:224:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;66378:224:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;66378:224:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;66378:224:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;66378:224:0;;-1:-1:-1;66378:224:0;-1:-1:-1;66378:224:0;:::i;61741:95::-;;;:::i;68027:273::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;68027:273:0;;;;;;;;:::i;51623:107::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;51623:107:0;-1:-1:-1;;;;;51623:107:0;;:::i;58604:550::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;58604:550:0;;;;;;;;;;;;;;;;;:::i;64474:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;64474:131:0;-1:-1:-1;;;;;64474:131:0;;:::i;74257:25::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;74600:392;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;74600:392:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;74600:392:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;74600:392:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;74600:392:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;74600:392:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;74600:392:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;74600:392:0;;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;74600:392:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;74600:392:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;74600:392:0;;-1:-1:-1;74600:392:0;-1:-1:-1;74600:392:0;-1:-1:-1;;;;;74600:392:0;;:::i;43434:206::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;43434:206:0;;;;;;;;:::i;53694:117::-;;;:::i;72524:234::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;72524:234:0;;;;;;;;:::i;61363:268::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;61363:268:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;61363:268:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;61363:268:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;61363:268:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;61363:268:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;61363:268:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;61363:268:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;61363:268:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;61363:268:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;61363:268:0;;-1:-1:-1;61363:268:0;-1:-1:-1;61363:268:0;:::i;68778:239::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;68778:239:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;68778:239:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;68778:239:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;68778:239:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;68778:239:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;68778:239:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;68778:239:0;;-1:-1:-1;68778:239:0;-1:-1:-1;68778:239:0;:::i;73093:198::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;73093:198:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;73093:198:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;73093:198:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;73093:198:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;73093:198:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;73093:198:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;73093:198:0;;-1:-1:-1;73093:198:0;-1:-1:-1;73093:198:0;:::i;74221:29::-;;;:::i;52904:78::-;;;:::i;54310:29::-;;;:::i;72766:190::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;72766:190:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;72766:190:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;72766:190:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;72766:190:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;72766:190:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;72766:190:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;72766:190:0;;-1:-1:-1;72766:190:0;-1:-1:-1;72766:190:0;:::i;41327:110::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;41327:110:0;-1:-1:-1;;;;;41327:110:0;;:::i;50459:140::-;;;:::i;54213:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;54213:38:0;;:::i;53484:115::-;;;:::i;51738:89::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;51738:89:0;-1:-1:-1;;;;;51738:89:0;;:::i;57650:210::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;57650:210:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;57650:210:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;57650:210:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;57650:210:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;57650:210:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;57650:210:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;57650:210:0;;-1:-1:-1;57650:210:0;-1:-1:-1;57650:210:0;:::i;49648:79::-;;;:::i;50014:92::-;;;:::i;69649:2283::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;69649:2283:0;;;;;;;;;;;;;;;;;;;:::i;64131:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;64131:131:0;;;;:::i;74185:29::-;;;:::i;51835:95::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;51835:95:0;-1:-1:-1;;;;;51835:95:0;;:::i;72964:121::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;72964:121:0;;;;;;;;:::i;59902:516::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;59902:516:0;;;;;;;;;;;;;;;;;:::i;44143:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;44143:216:0;;;;;;;;:::i;56200:545::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;56200:545:0;;;;;;;;:::i;74289:69::-;;;:::i;54064:48::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;54064:48:0;-1:-1:-1;;;;;54064:48:0;;:::i;65760:167::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;65760:167:0;;;;;;;;;;:::i;69058:203::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;69058:203:0;-1:-1:-1;;;;;69058:203:0;;:::i;64974:122::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;64974:122:0;-1:-1:-1;;;;;64974:122:0;;:::i;41869:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;41869:134:0;;;;;;;;;;:::i;50754:109::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;50754:109:0;-1:-1:-1;;;;;50754:109:0;;:::i;69269:161::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;69269:161:0;-1:-1:-1;;;;;69269:161:0;;:::i;67580:235::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;67580:235:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;67580:235:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;67580:235:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;67580:235:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;67580:235:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;67580:235:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;67580:235:0;;-1:-1:-1;67580:235:0;-1:-1:-1;67580:235:0;:::i;74147:31::-;;;;;;;;;;;;;;;-1:-1:-1;;74147:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;42150:148::-;42215:4;42232:36;42241:10;42253:7;42262:5;42232:8;:36::i;:::-;-1:-1:-1;42286:4:0;42150:148;;;;;:::o;66807:301::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;66894:15;66912;66922:4;66912:9;:15::i;:::-;-1:-1:-1;;;;;66957:18:0;;;;;;:12;:18;;;;;;66894:33;;-1:-1:-1;66957:25:0;;66946:36;;;66938:81;;;;;-1:-1:-1;;;66938:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;67030:18:0;;;;;;:12;:18;;;;;;;;;:28;;;;;;67074:26;;;;;;;;;;;;;;;;;51606:1;66807:301;;:::o;54260:41::-;;;-1:-1:-1;;;;;54260:41:0;;:::o;41173:91::-;41244:12;;41173:91;;:::o;62189:164::-;62253:7;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;62288:12;:19;62280:27;;62272:36;;;;;;62326:12;62339:5;62326:19;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;62326:19:0;;-1:-1:-1;49917:1:0;62189:164;;;:::o;66378:224::-;66487:9;66482:113;66502:19;;;66482:113;;;66543:40;66560:8;;66569:1;66560:11;;;;;;;;;;;;;-1:-1:-1;;;;;66560:11:0;66573:6;;66580:1;66573:9;;;;;;;;;;;;;;;66543:16;:40::i;:::-;66523:3;;66482:113;;;;66378:224;;;;:::o;61741:95::-;61809:12;:19;61741:95;:::o;68027:273::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;68124:18:0;;;;;;:12;:18;;;;;;:28;-1:-1:-1;68124:28:0;68116:93;;;;-1:-1:-1;;;68116:93:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;68220:18:0;;;;;;:12;:18;;;;;;;;;:28;;;;;;;68264;;;;;;;;;;;;;;;;;68027:273;;:::o;51623:107::-;51678:4;51702:20;:7;51714;51702:20;:11;:20;:::i;58604:550::-;53141:7;;58700:4;;53141:7;;53140:8;53132:37;;;;;-1:-1:-1;;;53132:37:0;;;;;;;;;;;;-1:-1:-1;;;53132:37:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;58726:11:0;;;;;;:6;:11;;;;;;;;58725:12;:30;;;;-1:-1:-1;;;;;;58742:13:0;;;;;;:6;:13;;;;;;;;58741:14;58725:30;58717:39;;;;;;-1:-1:-1;;;;;58807:19:0;;;;;;:12;:19;;;;;;58786:41;;:16;58820:5;58786:9;:16::i;:::-;:20;:41;:20;:41;:::i;:::-;58775:6;:52;;58767:86;;;;;-1:-1:-1;;;58767:86:0;;;;;;;;;;;;-1:-1:-1;;;58767:86:0;;;;;;;;;;;;;;;58867:16;;:32;;;-1:-1:-1;;;58867:32:0;;-1:-1:-1;;;;;58867:32:0;;;;;;;;;:16;;;;;:27;;:32;;;;;;;;;;;;;;:16;:32;;;5:2:-1;;;;30:1;27;20:12;5:2;58867:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;58867:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;58867:32:0;:78;;;;-1:-1:-1;58903:10:0;;:42;;;-1:-1:-1;;;58903:42:0;;-1:-1:-1;;;;;58903:42:0;;;;;;;;;;;;;;;;;;;;;;:10;;;;;:22;;:42;;;;;;;;;;;;;;:10;:42;;;5:2:-1;;;;30:1;27;20:12;5:2;58903:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;58903:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;58903:42:0;58867:78;58864:239;;;58961:23;58980:3;58961:18;:23::i;:::-;58999:32;59017:5;59024:6;58999:17;:32::i;:::-;59053:38;59072:5;59079:3;59084:6;59053:18;:38::i;:::-;59046:45;;;;58864:239;59115:31;;;-1:-1:-1;;;59115:31:0;;;;;;;;;;;;-1:-1:-1;;;59115:31:0;;;;;;;;;;;;;;53180:1;58604:550;;;;;:::o;64474:131::-;64541:4;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;;64564:19:0;;;64595:1;64564:19;;;:13;:19;;;;;;;:33;;;64474:131::o;74257:25::-;;;;;;:::o;74600:392::-;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;74772:12;:4;74779:5;;74772:12;:::i;:::-;-1:-1:-1;74795:16:0;:6;74804:7;;74795:16;:::i;:::-;-1:-1:-1;74822:8:0;:20;;-1:-1:-1;;74822:20:0;;;;;;;74853:18;:7;74863:8;;74853:18;:::i;:::-;-1:-1:-1;74875:9:0;:22;;-1:-1:-1;;;;;;74875:22:0;;-1:-1:-1;;;;;74875:22:0;;;;;;;;;;;;;74917:67;;;74955:8;;;74917:67;;;;;;74974:9;;;;;;;74917:67;;;;;;;;;;74941:4;74917:67;;;-1:-1:-1;74917:67:0;;;;;;-1:-1:-1;;74917:67:0;;;;;;;;;;;;;;74941:4;;74947:6;;74955:8;;74965:7;;74974:9;;74917:67;;;;;;;;;;;;;;;74941:4;;74917:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;74917:67:0;;;;;;;;-1:-1:-1;;74917:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;74917:67:0;;;;;;;;-1:-1:-1;;74917:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;74600:392;;;;;;;;:::o;43434:206::-;43540:10;43514:4;43561:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;43561:32:0;;;;;;;;;;43514:4;;43531:79;;43552:7;;43561:48;;43598:10;43561:48;:36;:48;:::i;:::-;43531:8;:79::i;53694:117::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53340:7;;;;53332:40;;;;;-1:-1:-1;;;53332:40:0;;;;;;;;;;;;-1:-1:-1;;;53332:40:0;;;;;;;;;;;;;;;53752:7;:15;;-1:-1:-1;;53752:15:0;;;53783:20;;;53792:10;53783:20;;;;;;;;;;;;;53694:117::o;72524:234::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;72622:16;;:32;;;-1:-1:-1;;;72622:32:0;;-1:-1:-1;;;;;72622:32:0;;;;;;;;;:16;;;;;:27;;:32;;;;;;;;;;;;;;:16;:32;;;5:2:-1;;;;30:1;27;20:12;5:2;72622:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;72622:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;72622:32:0;72614:70;;;;;-1:-1:-1;;;72614:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;72697:19;72703:3;72708:7;72697:5;:19::i;:::-;72727:23;72746:3;72727:18;:23::i;:::-;72524:234;;:::o;61363:268::-;61503:9;61498:126;61518:20;;;61498:126;;;61560:52;61575:9;;61585:1;61575:12;;;;;;;;;;;;;-1:-1:-1;;;;;61575:12:0;61589:7;;61597:1;61589:10;;;;;;;;;;;;;-1:-1:-1;;;;;61589:10:0;61601:7;;61609:1;61601:10;;;;;;;;;;;;;61560:14;:52::i;:::-;-1:-1:-1;61540:3:0;;61498:126;;;;61363:268;;;;;;:::o;68778:239::-;68896:9;68891:119;68911:19;;;68891:119;;;68952:46;68974:8;;68983:1;68974:11;;;;;;;;;;;;;-1:-1:-1;;;;;68974:11:0;68987:7;;68995:1;68987:10;;;;;;;;;;;;;68952:21;:46::i;:::-;68932:3;;68891:119;;73093:198;73191:9;73186:98;73206:18;;;73186:98;;;73246:26;73251:7;;73259:1;73251:10;;;;;;;;;;;;;-1:-1:-1;;;;;73251:10:0;73263:5;;73269:1;73263:8;;;;;;;;;;;;;73246:4;:26::i;:::-;73226:3;;73186:98;;74221:29;;;;;;;;;;;;;;;-1:-1:-1;;74221:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;52904:78;52967:7;;;;52904:78;:::o;54310:29::-;;;-1:-1:-1;;;;;54310:29:0;;:::o;72766:190::-;72862:9;72857:92;72877:14;;;72857:92;;;72913:24;72918:3;;72922:1;72918:6;;;;;;;;;;;;;-1:-1:-1;;;;;72918:6:0;72926:7;;72934:1;72926:10;;;;;;;;;;;;;72913:4;:24::i;:::-;72893:3;;72857:92;;41327:110;-1:-1:-1;;;;;41411:18:0;41384:7;41411:18;;;:9;:18;;;;;;;41327:110::o;50459:140::-;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;50558:1;50542:6;;50521:40;;-1:-1:-1;;;;;50542:6:0;;;;50521:40;;50558:1;;50521:40;50589:1;50572:19;;-1:-1:-1;;;;;;50572:19:0;;;50459:140::o;54213:38::-;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;54213:38:0;:::o;53484:115::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53141:7;;;;53140:8;53132:37;;;;;-1:-1:-1;;;53132:37:0;;;;;;;;;;;;-1:-1:-1;;;53132:37:0;;;;;;;;;;;;;;;53543:7;:14;;-1:-1:-1;;53543:14:0;53553:4;53543:14;;;53573:18;;;53580:10;53573:18;;;;;;;;;;;;;53484:115::o;51738:89::-;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;51801:18;51811:7;51801:9;:18::i;:::-;51738:89;:::o;57650:210::-;57754:9;57749:104;57769:18;;;57749:104;;;57809:32;57818:7;;57826:1;57818:10;;;;;;;;;;;;;-1:-1:-1;;;;;57818:10:0;57830:7;;57838:1;57830:10;;;;;;;;;;;;;57809:8;:32::i;:::-;-1:-1:-1;57789:3:0;;57749:104;;49648:79;49686:7;49713:6;-1:-1:-1;;;;;49713:6:0;49648:79;:::o;50014:92::-;50054:4;50092:6;-1:-1:-1;;;;;50092:6:0;50078:10;:20;;50014:92::o;69649:2283::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;69784:33:0;;;;;;:13;:33;;;;;;:38;;;;:79;;-1:-1:-1;;;;;;69826:32:0;;;;;;:13;:32;;;;;;:37;69784:79;69776:88;;;;;;69883:16;;:45;;;-1:-1:-1;;;69883:45:0;;-1:-1:-1;;;;;69883:45:0;;;;;;;;;:16;;;;;:25;;:45;;;;;;;;;;;;;;:16;:45;;;5:2:-1;;;;30:1;27;20:12;5:2;69883:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;69883:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;69883:45:0;69875:90;;;;;-1:-1:-1;;;69875:90:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;70142:22;;;70153:10;70142:22;;;;;;;;;;26:21:-1;;;22:32;;6:49;;70142:22:0;;;;;;70132:33;;;;;;;;;-1:-1:-1;;;70181:33:0;;;;;;;;;70212:1;70181:33;;;;;;70009:9;;70132:33;-1:-1:-1;;;;;70181:24:0;;;;;:33;;;;;;;;;;:24;:33;;;5:2:-1;;;;30:1;27;20:12;5:2;70181:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;70181:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;70181:33:0;70178:1747;;;70278:19;70300:29;70310:18;70300:9;:29::i;:::-;70278:51;;70344:41;70350:18;70370:14;70344:5;:41::i;:::-;70505:30;;;-1:-1:-1;;;;;70505:30:0;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;70505:30:0;;;;;;70495:41;;;;;;;;;-1:-1:-1;;;70555:42:0;;;;;;;;;70595:1;70555:42;;;;;;:24;;;;;;:42;;;;;70505:30;70555:42;;;;;:24;:42;;;5:2:-1;;;;30:1;27;20:12;5:2;70555:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;70555:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;70555:42:0;70551:365;;;70618:25;70646:10;-1:-1:-1;;;;;70646:25:0;;70672:13;70646:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;70646:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;70646:40:0;;;;;;39:16:-1;36:1;17:17;2:54;101:4;70646:40:0;80:15:-1;;;-1:-1;;76:31;65:43;;120:4;113:20;13:2;5:11;;2:2;;;29:1;26;19:12;2:2;70646:40:0;;;;;;-1:-1:-1;;;14:3;11:20;8:2;;;44:1;41;34:12;8:2;62:21;;123:4;114:14;;138:31;;;135:2;;;182:1;179;172:12;135:2;219:3;213:10;331:9;325:2;311:12;307:21;289:16;285:44;282:59;-1:-1;;;247:12;244:29;233:116;230:2;;;362:1;359;352:12;230:2;-1:-1;70646:40:0;;-1:-1:-1;70709:13:0;;-1:-1:-1;;;;70705:194:0;70740:8;:15;70728:8;:27;70705:194;;70794:13;;70791:88;;70834:10;-1:-1:-1;;;;;70834:20:0;;70855:13;70870:8;70834:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;70834:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;70834:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;70791:88:0;70757:10;;70705:194;;;;70551:365;;71019:16;;71084:52;;;-1:-1:-1;;;71084:52:0;;-1:-1:-1;;;;;71084:52:0;;;;;;;;;71019:16;;;;;:33;;71053:17;;71072:10;;71019:16;;71084:32;;:52;;;;;;;;;;;;;;71019:16;71084:52;;;5:2:-1;;;;30:1;27;20:12;5:2;71084:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;71084:52:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;71084:52:0;71019:118;;;-1:-1:-1;;;;;;71019:118:0;;;;;;;-1:-1:-1;;;;;71019:118:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;71019:118:0;;;;;;;-1:-1:-1;71019:118:0;;;;5:2:-1;;;;30:1;27;20:12;5:2;71019:118:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;71216:16:0;;:51;;;-1:-1:-1;;;71216:51:0;;-1:-1:-1;;;;;71216:51:0;;;;;;;;;:16;;;;;-1:-1:-1;71216:31:0;;-1:-1:-1;71216:51:0;;;;;:16;;:51;;;;;;;:16;;:51;;;5:2:-1;;;;30:1;27;20:12;5:2;71216:51:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;;;;;;;;71284:33:0;;;;;;;:13;:33;;;;;;;;:53;;-1:-1:-1;;;;;;71284:53:0;;;;;;;;;;;71371:13;:33;;;;71420:12;:25;;-1:-1:-1;;71371:37:0;;;;71284:53;;71420:12;71371:37;;71420:25;;;;;;;;;;;;;;;;;;:45;;-1:-1:-1;;;;;;71420:45:0;-1:-1:-1;;;;;71420:45:0;;;;;;71512:33;;;;;;:13;:33;;;;;;;;;71477:32;;;;;;;;:68;;;;71557:33;;:37;;71674:40;71477:32;71699:14;71674:5;:40::i;:::-;71736:65;;;-1:-1:-1;;;;;71736:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;70178:1747;;;;;;71850:63;;;-1:-1:-1;;;;;71850:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;51606:1;;69649:2283;;;:::o;64131:131::-;64228:26;;64204:4;64228:26;;;:19;:26;;;;;;;64131:131::o;74185:29::-;;;;;;;;;;;;;;;-1:-1:-1;;74185:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;51835:95;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;51901:21;51914:7;51901:12;:21::i;72964:121::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;73056:21;73062:7;73071:5;73056;:21::i;59902:516::-;59996:4;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;60053:19:0;;;;;;:12;:19;;;;;;60032:41;;:16;60066:5;60032:9;:16::i;:41::-;60021:6;:52;;60013:96;;;;;-1:-1:-1;;;60013:96:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;60123:16;;:32;;;-1:-1:-1;;;60123:32:0;;-1:-1:-1;;;;;60123:32:0;;;;;;;;;:16;;;;;:27;;:32;;;;;;;;;;;;;;:16;:32;;;5:2:-1;;;;30:1;27;20:12;5:2;60123:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;60123:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;60123:32:0;:78;;;;-1:-1:-1;60159:10:0;;:42;;;-1:-1:-1;;;60159:42:0;;-1:-1:-1;;;;;60159:42:0;;;;;;;;;;;;;;;;;;;;;;:10;;;;;:22;;:42;;;;;;;;;;;;;;:10;:42;;;5:2:-1;;;;30:1;27;20:12;5:2;60159:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;60159:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;60159:42:0;60123:78;60120:249;;;60217:23;60236:3;60217:18;:23::i;:::-;60255:32;60273:5;60280:6;60255:17;:32::i;:::-;60302:29;60312:5;60319:3;60324:6;60302:9;:29::i;:::-;-1:-1:-1;60353:4:0;60346:11;;44143:216;44254:10;44228:4;44275:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;44275:32:0;;;;;;;;;;44228:4;;44245:84;;44266:7;;44275:53;;44312:15;44275:53;:36;:53;:::i;56200:545::-;53141:7;;56277:4;;53141:7;;53140:8;53132:37;;;;;-1:-1:-1;;;53132:37:0;;;;;;;;;;;;-1:-1:-1;;;53132:37:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;56303:11:0;;;;;;:6;:11;;;;;;;;56302:12;:35;;;;-1:-1:-1;56326:10:0;56319:18;;;;:6;:18;;;;;;;;56318:19;56302:35;56294:44;;;;;;56407:10;56394:24;;;;:12;:24;;;;;;56368:51;;:21;;:9;:21::i;:51::-;56357:6;:62;;56349:96;;;;;-1:-1:-1;;;56349:96:0;;;;;;;;;;;;-1:-1:-1;;;56349:96:0;;;;;;;;;;;;;;;56459:16;;:32;;;-1:-1:-1;;;56459:32:0;;-1:-1:-1;;;;;56459:32:0;;;;;;;;;:16;;;;;:27;;:32;;;;;;;;;;;;;;:16;:32;;;5:2:-1;;;;30:1;27;20:12;5:2;56459:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;56459:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;56459:32:0;:83;;;;-1:-1:-1;56495:10:0;;:47;;;-1:-1:-1;;;56495:47:0;;56518:10;56495:47;;;;-1:-1:-1;;;;;56495:47:0;;;;;;;;;;;;;;;:10;;;;;:22;;:47;;;;;;;;;;;;;;:10;:47;;;5:2:-1;;;;30:1;27;20:12;5:2;56495:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;56495:47:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;56495:47:0;56459:83;56456:238;;;56558:23;56577:3;56558:18;:23::i;:::-;56596:37;56614:10;56626:6;56596:17;:37::i;:::-;56655:27;56670:3;56675:6;56655:14;:27::i;:::-;56648:34;;;;74289:69;;;;;;-1:-1:-1;;;;;74289:69:0;;:::o;54064:48::-;;;;;;;;;;;;;:::o;65760:167::-;51525:19;51533:10;51525:7;:19::i;:::-;51517:78;;;;-1:-1:-1;;;51517:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;65841:12:0;;;;;;:6;:12;;;;;;:21;;-1:-1:-1;;65841:21:0;;;;;;;;;;65880:39;;65908:10;;65841:21;;65880:39;;;65760:167;;:::o;69058:203::-;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;69142:16;:55;;-1:-1:-1;;;;;;69142:55:0;-1:-1:-1;;;;;69142:55:0;;;;;;;;69213:40;;;;-1:-1:-1;;69213:40:0;69058:203;:::o;64974:122::-;65042:7;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;65068:20;65083:4;65068:14;:20::i;41869:134::-;-1:-1:-1;;;;;41968:18:0;;;41941:7;41968:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;41869:134::o;50754:109::-;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;50827:28;50846:8;50827:18;:28::i;69269:161::-;49860:9;:7;:9::i;:::-;49852:54;;;;;-1:-1:-1;;;49852:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;49852:54:0;;;;;;;;;;;;;;;69341:10;:37;;-1:-1:-1;;;;;;69341:37:0;-1:-1:-1;;;;;69341:37:0;;;;;;;;69394:28;;;;-1:-1:-1;;69394:28:0;69269:161;:::o;67580:235::-;67696:9;67691:117;67711:19;;;67691:117;;;67752:44;67772:8;;67781:1;67772:11;;;;;;;;;;;;;-1:-1:-1;;;;;67772:11:0;67785:7;;67793:1;67785:10;;;;;;;;;;;;;67752:19;:44::i;:::-;67732:3;;67691:117;;46945:335;-1:-1:-1;;;;;47038:19:0;;47030:68;;;;-1:-1:-1;;;47030:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;47117:21:0;;47109:68;;;;-1:-1:-1;;;47109:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;47190:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;47241:31;;;;;;;;;;;;;;;;;46945:335;;;:::o;48531:203::-;48603:4;-1:-1:-1;;;;;48628:21:0;;48620:68;;;;-1:-1:-1;;;48620:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;48706:20:0;:11;:20;;;;;;;;;;;;;;;48531:203::o;37288:184::-;37346:7;37379:1;37374;:6;;37366:49;;;;;-1:-1:-1;;;37366:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;37438:5:0;;;37288:184::o;62580:286::-;-1:-1:-1;;;;;62646:19:0;;;;;;:13;:19;;;;;;62642:217;;62709:12;27:10:-1;;39:1;23:18;;45:23;;;;62709::0;;;;-1:-1:-1;;;;;;62709:23:0;-1:-1:-1;;;;;62709:23:0;;;;;;;;;-1:-1:-1;62687:19:0;;;:13;62709:23;62687:19;;;;;;;:45;;;;62764:16;;:38;;-1:-1:-1;;;62764:38:0;;;;;;;;;;;-1:-1:-1;;62764:16:0;;;;:32;;:38;;;;;;;;;;;:16;:38;;;5:2:-1;;;;30:1;27;20:12;5:2;62764:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;62764:38:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;62764:38:0;62817:28;;;;;;:19;62764:38;62817:28;;;;:30;;;;;;-1:-1:-1;62580:286:0;:::o;63241:882::-;63317:15;63353:5;63335:15;63345:4;63335:9;:15::i;:::-;:23;;-1:-1:-1;63373:11:0;;63369:50;;63401:7;;;63369:50;-1:-1:-1;;;;;63451:19:0;;63429;63451;;;:13;:19;;;;;;63505:12;:19;;-1:-1:-1;;63451:23:0;;;;63505;;;;63429:19;63505:12;:23;;63560;;;;;;;;;;;;;;;;63658:12;:25;;-1:-1:-1;;;;;63560:23:0;;;;-1:-1:-1;63560:23:0;;63671:11;;63658:25;;;;;;;;;;;;;;;;;;:38;;-1:-1:-1;;;;;;63658:38:0;-1:-1:-1;;;;;63658:38:0;;;;;;63772:19;;;;;:13;:19;;;;;;;63744:25;;;;;;;:47;63871:12;:21;;;;;-1:-1:-1;;63871:21:0;;;:::i;:::-;-1:-1:-1;;;;;;63947:19:0;;;63969:1;63947:19;;;:13;:19;;;;;;;;:23;;;64036:16;;:38;;-1:-1:-1;;;64036:38:0;;;;;;;;;;;63969:1;;64036:16;;:32;;:38;;;;;63947:19;64036:38;;;;;:16;:38;;;5:2:-1;;;;30:1;27;20:12;5:2;64036:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;64036:38:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;64036:38:0;64085:28;;;;;;:19;64036:38;64085:28;;;;:30;;-1:-1:-1;;64085:30:0;;;-1:-1:-1;;;;;63241:882:0;;:::o;42769:256::-;42858:4;42875:36;42885:6;42893:9;42904:6;42875:9;:36::i;:::-;-1:-1:-1;;;;;42951:19:0;;;;;;:11;:19;;;;;;;;42939:10;42951:31;;;;;;;;;42922:73;;42931:6;;42951:43;;42987:6;42951:43;:35;:43;:::i;42922:73::-;-1:-1:-1;43013:4:0;42769:256;;;;;:::o;36832:181::-;36890:7;36922:5;;;36946:6;;;;36938:46;;;;;-1:-1:-1;;;36938:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;45559:308;-1:-1:-1;;;;;45635:21:0;;45627:65;;;;;-1:-1:-1;;;45627:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;45720:12;;:24;;45737:6;45720:24;:16;:24;:::i;:::-;45705:12;:39;-1:-1:-1;;;;;45776:18:0;;;;;;:9;:18;;;;;;:30;;45799:6;45776:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;45755:18:0;;;;;;:9;:18;;;;;;;;:51;;;;45822:37;;;;;;;45755:18;;;;45822:37;;;;;;;;;;45559:308;;:::o;51938:119::-;51994:20;:7;52006;51994:20;:11;:20;:::i;:::-;52030:19;;-1:-1:-1;;;;;52030:19:0;;;;;;;;51938:119;:::o;46199:306::-;-1:-1:-1;;;;;46274:21:0;;46266:67;;;;-1:-1:-1;;;46266:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;46361:12;;:23;;46378:5;46361:23;:16;:23;:::i;:::-;46346:12;:38;-1:-1:-1;;;;;46416:18:0;;;;;;:9;:18;;;;;;:29;;46439:5;46416:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;46395:18:0;;;;;;:9;:18;;;;;;;;:50;;;;46461:36;;;;;;;46395:18;;46461:36;;;;;;;;;;;46199:306;;:::o;52065:127::-;52124:23;:7;52139;52124:23;:14;:23;:::i;:::-;52163:21;;-1:-1:-1;;;;;52163:21:0;;;;;;;;52065:127;:::o;44849:429::-;-1:-1:-1;;;;;44947:20:0;;44939:70;;;;-1:-1:-1;;;44939:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;45028:23:0;;45020:71;;;;-1:-1:-1;;;45020:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;45124:17:0;;;;;;:9;:17;;;;;;:29;;45146:6;45124:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;45104:17:0;;;;;;;:9;:17;;;;;;:49;;;;45187:20;;;;;;;:32;;45212:6;45187:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;45164:20:0;;;;;;;:9;:20;;;;;;;;;:55;;;;45235:35;;;;;;;45164:20;;45235:35;;;;;;;;;;;;;44849:429;;;:::o;41650:156::-;41719:4;41736:40;41746:10;41758:9;41769:6;41736:9;:40::i;65312:248::-;-1:-1:-1;;;;;65413:19:0;;;65373:7;65413:19;;;:13;:19;;;;;;65373:7;;65413:19;65447:23;65443:67;;65494:4;65487:11;;;;;65443:67;65527:25;65542:9;65527:14;:25::i;50969:229::-;-1:-1:-1;;;;;51043:22:0;;51035:73;;;;-1:-1:-1;;;51035:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;51145:6;;;51124:38;;-1:-1:-1;;;;;51124:38:0;;;;51145:6;;;51124:38;;;51173:6;:17;;-1:-1:-1;;;;;;51173:17:0;-1:-1:-1;;;;;51173:17:0;;;;;;;;;;50969:229::o;47995:178::-;48073:18;48077:4;48083:7;48073:3;:18::i;:::-;48072:19;48064:63;;;;;-1:-1:-1;;;48064:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;48138:20:0;:11;:20;;;;;;;;;;;:27;;-1:-1:-1;;48138:27:0;48161:4;48138:27;;;47995:178::o;48253:183::-;48333:18;48337:4;48343:7;48333:3;:18::i;:::-;48325:64;;;;-1:-1:-1;;;48325:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;48400:20:0;48423:5;48400:20;;;;;;;;;;;:28;;-1:-1:-1;;48400:28:0;;;48253:183::o;74094:901::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;74094:901:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;74094:901:0;;;-1:-1:-1;74094:901:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;:::o;:::-;;;;;;;;;;;;;;;;;

bzzr://486bc288675eca0e6acd5c14d6b50799632d4929afdf93402c48d15689b9331d