Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-03-02
*/

pragma solidity 0.6.0;

abstract contract Context {
    function _msgSender() internal view virtual returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

abstract contract Ownable is Context {
    address private _owner;

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

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

    /**
     * @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(_owner == _msgSender(), "Ownable: caller is not the 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 virtual 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 virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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.
     *
     * IMPORTANT: 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);
}

contract wCHXMapping is Ownable {
    event AddressMapped(address indexed ethAddress, string chxAddress, string signature);
    event AddressMappingRemoved(address indexed ethAddress, string chxAddress, string signature);

    mapping (address => string) private ethToChxAddresses;
    mapping (string => address) private chxToEthAddresses;
    mapping (string => string) private chxToSignatures;

    constructor()
        public
    {
    }

    function chxAddress(address _ethAddress)
        external
        view
        returns (string memory) 
    {
        return ethToChxAddresses[_ethAddress];
    }

    function ethAddress(string calldata _chxAddress)
        external
        view
        returns (address) 
    {
        return chxToEthAddresses[_chxAddress];
    }

    function signature(string calldata _chxAddress)
        external
        view
        returns (string memory) 
    {
        return chxToSignatures[_chxAddress];
    }

    function mapAddress(string calldata _chxAddress, string calldata _signature)
        external
    {
        address _ethAddress = _msgSender();

        require(bytes(ethToChxAddresses[_ethAddress]).length == 0);
        require(chxToEthAddresses[_chxAddress] == address(0));
        require(bytes(chxToSignatures[_chxAddress]).length == 0);
        checkChxAddress(_chxAddress);
        checkSignature(_signature);

        ethToChxAddresses[_ethAddress] = _chxAddress;
        chxToEthAddresses[_chxAddress] = _ethAddress;
        chxToSignatures[_chxAddress] = _signature;

        emit AddressMapped(_ethAddress, _chxAddress, _signature);
    }

    function removeMappedAddress(address _ethAddress)
        external
        onlyOwner
    {
        string memory _chxAddress = ethToChxAddresses[_ethAddress];
        require(bytes(_chxAddress).length != 0);

        string memory _signature = chxToSignatures[_chxAddress];
        require(bytes(_signature).length != 0);
        require(chxToEthAddresses[_chxAddress] == _ethAddress);
        
        delete ethToChxAddresses[_ethAddress];
        delete chxToEthAddresses[_chxAddress];
        delete chxToSignatures[_chxAddress];
        
        emit AddressMappingRemoved(_ethAddress, _chxAddress, _signature);
    }

    function isAlphanumericChar(bytes1 _char)
        private
        pure
        returns (bool)
    {
        return (_char >= 0x30 && _char <= 0x39) || 
            (_char >= 0x41 && _char <= 0x5A) || 
            (_char >= 0x61 && _char <= 0x7A);
    }

    function checkChxAddress(string memory _chxAddress)
        private 
        pure
    {
        bytes memory _strBytes = bytes(_chxAddress);
        bytes memory _prefix = bytes("CH");
        require(_strBytes[0] == _prefix[0] && _strBytes[1] == _prefix[1], "Invalid CHX address");

        bytes1 _lastChar = _strBytes[_strBytes.length - 1];
        require(isAlphanumericChar(_lastChar), "CHX address ends with incorrect character");
    }

    function checkSignature(string memory _signature)
        private 
        pure
    {
        bytes memory _strBytes = bytes(_signature);

        bytes1 _firstChar = _strBytes[0];
        require(isAlphanumericChar(_firstChar), "Signature ends with incorrect character");

        bytes1 _lastChar = _strBytes[_strBytes.length - 1];
        require(isAlphanumericChar(_lastChar), "Signature ends with incorrect character");
    }

    // Enable recovery of ether sent by mistake to this contract's address.
    function drainStrayEther(uint _amount)
        external
        onlyOwner
        returns (bool)
    {
        payable(owner()).transfer(_amount);
        return true;
    }

    // Enable recovery of any ERC20 compatible token sent by mistake to this contract's address.
    function drainStrayTokens(IERC20 _token, uint _amount)
        external
        onlyOwner
        returns (bool)
    {
        return _token.transfer(owner(), _amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"ethAddress","type":"address"},{"indexed":false,"internalType":"string","name":"chxAddress","type":"string"},{"indexed":false,"internalType":"string","name":"signature","type":"string"}],"name":"AddressMapped","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"ethAddress","type":"address"},{"indexed":false,"internalType":"string","name":"chxAddress","type":"string"},{"indexed":false,"internalType":"string","name":"signature","type":"string"}],"name":"AddressMappingRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"inputs":[{"internalType":"address","name":"_ethAddress","type":"address"}],"name":"chxAddress","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"drainStrayEther","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"contract IERC20","name":"_token","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"drainStrayTokens","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_chxAddress","type":"string"}],"name":"ethAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"_chxAddress","type":"string"},{"internalType":"string","name":"_signature","type":"string"}],"name":"mapAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_ethAddress","type":"address"}],"name":"removeMappedAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_chxAddress","type":"string"}],"name":"signature","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5060006100216100c460201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506100cc565b600033905090565b611d38806100db6000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c80638da5cb5b116100665780638da5cb5b1461025a578063b0e353bd146102a4578063c864b77b14610396578063f2fde38b1461044f578063f9c0e3c2146104935761009e565b8063050b8c66146100a3578063401105441461010957806342bf41ae1461014d57806360b90acf14610193578063715018a614610250575b600080fd5b6100ef600480360360408110156100b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610561565b604051808215151515815260200191505060405180910390f35b61014b6004803603602081101561011f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106fd565b005b6101796004803603602081101561016357600080fd5b8101908080359060200190929190505050610cf8565b604051808215151515815260200191505060405180910390f35b6101d5600480360360208110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1a565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102155780820151818401526020810190506101fa565b50505050905090810190601f1680156102425780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610258610efb565b005b610262611083565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61031b600480360360208110156102ba57600080fd5b81019080803590602001906401000000008111156102d757600080fd5b8201836020820111156102e957600080fd5b8035906020019184600183028401116401000000008311171561030b57600080fd5b90919293919293905050506110ac565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561035b578082015181840152602081019050610340565b50505050905090810190601f1680156103885780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61040d600480360360208110156103ac57600080fd5b81019080803590602001906401000000008111156103c957600080fd5b8201836020820111156103db57600080fd5b803590602001918460018302840111640100000000831117156103fd57600080fd5b9091929391929390505050611176565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104916004803603602081101561046557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111c8565b005b61055f600480360360408110156104a957600080fd5b81019080803590602001906401000000008111156104c657600080fd5b8201836020820111156104d857600080fd5b803590602001918460018302840111640100000000831117156104fa57600080fd5b90919293919293908035906020019064010000000081111561051b57600080fd5b82018360208201111561052d57600080fd5b8035906020019184600183028401116401000000008311171561054f57600080fd5b90919293919293905050506113d5565b005b600061056b611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461062c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb610650611083565b846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156106ba57600080fd5b505af11580156106ce573d6000803e3d6000fd5b505050506040513d60208110156106e457600080fd5b8101908080519060200190929190505050905092915050565b610705611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146107c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6060600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561089b5780601f106108705761010080835404028352916020019161089b565b820191906000526020600020905b81548152906001019060200180831161087e57829003601f168201915b505050505090506000815114156108b157600080fd5b60606003826040518082805190602001908083835b602083106108e957805182526020820191506020810190506020830392506108c6565b6001836020036101000a03801982511681845116808217855250505050505090500191505090815260200160405180910390208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109b05780601f10610985576101008083540402835291602001916109b0565b820191906000526020600020905b81548152906001019060200180831161099357829003601f168201915b505050505090506000815114156109c657600080fd5b8273ffffffffffffffffffffffffffffffffffffffff166002836040518082805190602001908083835b60208310610a1357805182526020820191506020810190506020830392506109f0565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a8757600080fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610ad29190611b9f565b6002826040518082805190602001908083835b60208310610b085780518252602082019150602081019050602083039250610ae5565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556003826040518082805190602001908083835b60208310610b945780518252602082019150602081019050602083039250610b71565b6001836020036101000a03801982511681845116808217855250505050505090500191505090815260200160405180910390206000610bd39190611b9f565b8273ffffffffffffffffffffffffffffffffffffffff167fa40592f52404e01bef5d3ecd36211c5b2fa10182ca5f13cb906757a4740cfb678383604051808060200180602001838103835285818151815260200191508051906020019080838360005b83811015610c51578082015181840152602081019050610c36565b50505050905090810190601f168015610c7e5780820380516001836020036101000a031916815260200191505b50838103825284818151815260200191508051906020019080838360005b83811015610cb7578082015181840152602081019050610c9c565b50505050905090810190601f168015610ce45780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a2505050565b6000610d02611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610dc3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b610dcb611083565b73ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015610e10573d6000803e3d6000fd5b5060019050919050565b6060600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eef5780601f10610ec457610100808354040283529160200191610eef565b820191906000526020600020905b815481529060010190602001808311610ed257829003601f168201915b50505050509050919050565b610f03611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610fc4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606003838360405180838380828437808301925050509250505090815260200160405180910390208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111695780601f1061113e57610100808354040283529160200191611169565b820191906000526020600020905b81548152906001019060200180831161114c57829003601f168201915b5050505050905092915050565b600060028383604051808383808284378083019250505092505050908152602001604051809103902060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905092915050565b6111d0611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611291576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611317576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180611c8d6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006113df611744565b90506000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900490501461144157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660028686604051808383808284378083019250505092505050908152602001604051809103902060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146114c157600080fd5b60006003868660405180838380828437808301925050509250505090815260200160405180910390208054600181600116156101000203166002900490501461150957600080fd5b61155685858080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061174c565b6115a383838080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611972565b8484600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002091906115f1929190611be7565b508060028686604051808383808284378083019250505092505050908152602001604051809103902060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508282600387876040518083838082843780830192505050925050509081526020016040518091039020919061168e929190611be7565b508073ffffffffffffffffffffffffffffffffffffffff167f7b1a72f0c8f7ac830f57239e929d94c02d63c9ad0154b9c73221df7817c2237e868686866040518080602001806020018381038352878782818152602001925080828437600081840152601f19601f8201169050808301925050508381038252858582818152602001925080828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a25050505050565b600033905090565b606081905060606040518060400160405280600281526020017f434800000000000000000000000000000000000000000000000000000000000081525090508060008151811061179857fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916826000815181106117d257fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614801561187d57508060018151811061181457fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168260018151811061184e57fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b6118ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f496e76616c69642043485820616464726573730000000000000000000000000081525060200191505060405180910390fd5b60008260018451038151811061190157fe5b602001015160f81c60f81b905061191781611a74565b61196c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526029815260200180611cb36029913960400191505060405180910390fd5b50505050565b606081905060008160008151811061198657fe5b602001015160f81c60f81b905061199c81611a74565b6119f1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180611cdc6027913960400191505060405180910390fd5b600082600184510381518110611a0357fe5b602001015160f81c60f81b9050611a1981611a74565b611a6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180611cdc6027913960400191505060405180910390fd5b50505050565b6000603060f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015611ad25750603960f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b80611b355750604160f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015611b345750605a60f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b5b80611b985750606160f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015611b975750607a60f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b5b9050919050565b50805460018160011615610100020316600290046000825580601f10611bc55750611be4565b601f016020900490600052602060002090810190611be39190611c67565b5b50565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611c2857803560ff1916838001178555611c56565b82800160010185558215611c56579182015b82811115611c55578235825591602001919060010190611c3a565b5b509050611c639190611c67565b5090565b611c8991905b80821115611c85576000816000905550600101611c6d565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373434858206164647265737320656e6473207769746820696e636f7272656374206368617261637465725369676e617475726520656e6473207769746820696e636f727265637420636861726163746572a26469706673582212204edcf2ad117c31b7398fea6aa12657595b1218e4129557f3a3ce94a084473c6f64736f6c63430006000033

0x608060405234801561001057600080fd5b506004361061009e5760003560e01c80638da5cb5b116100665780638da5cb5b1461025a578063b0e353bd146102a4578063c864b77b14610396578063f2fde38b1461044f578063f9c0e3c2146104935761009e565b8063050b8c66146100a3578063401105441461010957806342bf41ae1461014d57806360b90acf14610193578063715018a614610250575b600080fd5b6100ef600480360360408110156100b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610561565b604051808215151515815260200191505060405180910390f35b61014b6004803603602081101561011f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106fd565b005b6101796004803603602081101561016357600080fd5b8101908080359060200190929190505050610cf8565b604051808215151515815260200191505060405180910390f35b6101d5600480360360208110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1a565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102155780820151818401526020810190506101fa565b50505050905090810190601f1680156102425780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610258610efb565b005b610262611083565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61031b600480360360208110156102ba57600080fd5b81019080803590602001906401000000008111156102d757600080fd5b8201836020820111156102e957600080fd5b8035906020019184600183028401116401000000008311171561030b57600080fd5b90919293919293905050506110ac565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561035b578082015181840152602081019050610340565b50505050905090810190601f1680156103885780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61040d600480360360208110156103ac57600080fd5b81019080803590602001906401000000008111156103c957600080fd5b8201836020820111156103db57600080fd5b803590602001918460018302840111640100000000831117156103fd57600080fd5b9091929391929390505050611176565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104916004803603602081101561046557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111c8565b005b61055f600480360360408110156104a957600080fd5b81019080803590602001906401000000008111156104c657600080fd5b8201836020820111156104d857600080fd5b803590602001918460018302840111640100000000831117156104fa57600080fd5b90919293919293908035906020019064010000000081111561051b57600080fd5b82018360208201111561052d57600080fd5b8035906020019184600183028401116401000000008311171561054f57600080fd5b90919293919293905050506113d5565b005b600061056b611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461062c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb610650611083565b846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156106ba57600080fd5b505af11580156106ce573d6000803e3d6000fd5b505050506040513d60208110156106e457600080fd5b8101908080519060200190929190505050905092915050565b610705611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146107c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6060600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561089b5780601f106108705761010080835404028352916020019161089b565b820191906000526020600020905b81548152906001019060200180831161087e57829003601f168201915b505050505090506000815114156108b157600080fd5b60606003826040518082805190602001908083835b602083106108e957805182526020820191506020810190506020830392506108c6565b6001836020036101000a03801982511681845116808217855250505050505090500191505090815260200160405180910390208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109b05780601f10610985576101008083540402835291602001916109b0565b820191906000526020600020905b81548152906001019060200180831161099357829003601f168201915b505050505090506000815114156109c657600080fd5b8273ffffffffffffffffffffffffffffffffffffffff166002836040518082805190602001908083835b60208310610a1357805182526020820191506020810190506020830392506109f0565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610a8757600080fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000610ad29190611b9f565b6002826040518082805190602001908083835b60208310610b085780518252602082019150602081019050602083039250610ae5565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556003826040518082805190602001908083835b60208310610b945780518252602082019150602081019050602083039250610b71565b6001836020036101000a03801982511681845116808217855250505050505090500191505090815260200160405180910390206000610bd39190611b9f565b8273ffffffffffffffffffffffffffffffffffffffff167fa40592f52404e01bef5d3ecd36211c5b2fa10182ca5f13cb906757a4740cfb678383604051808060200180602001838103835285818151815260200191508051906020019080838360005b83811015610c51578082015181840152602081019050610c36565b50505050905090810190601f168015610c7e5780820380516001836020036101000a031916815260200191505b50838103825284818151815260200191508051906020019080838360005b83811015610cb7578082015181840152602081019050610c9c565b50505050905090810190601f168015610ce45780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a2505050565b6000610d02611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610dc3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b610dcb611083565b73ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f19350505050158015610e10573d6000803e3d6000fd5b5060019050919050565b6060600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eef5780601f10610ec457610100808354040283529160200191610eef565b820191906000526020600020905b815481529060010190602001808311610ed257829003601f168201915b50505050509050919050565b610f03611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610fc4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606003838360405180838380828437808301925050509250505090815260200160405180910390208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111695780601f1061113e57610100808354040283529160200191611169565b820191906000526020600020905b81548152906001019060200180831161114c57829003601f168201915b5050505050905092915050565b600060028383604051808383808284378083019250505092505050908152602001604051809103902060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905092915050565b6111d0611744565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611291576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611317576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180611c8d6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006113df611744565b90506000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900490501461144157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660028686604051808383808284378083019250505092505050908152602001604051809103902060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146114c157600080fd5b60006003868660405180838380828437808301925050509250505090815260200160405180910390208054600181600116156101000203166002900490501461150957600080fd5b61155685858080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061174c565b6115a383838080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611972565b8484600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002091906115f1929190611be7565b508060028686604051808383808284378083019250505092505050908152602001604051809103902060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508282600387876040518083838082843780830192505050925050509081526020016040518091039020919061168e929190611be7565b508073ffffffffffffffffffffffffffffffffffffffff167f7b1a72f0c8f7ac830f57239e929d94c02d63c9ad0154b9c73221df7817c2237e868686866040518080602001806020018381038352878782818152602001925080828437600081840152601f19601f8201169050808301925050508381038252858582818152602001925080828437600081840152601f19601f820116905080830192505050965050505050505060405180910390a25050505050565b600033905090565b606081905060606040518060400160405280600281526020017f434800000000000000000000000000000000000000000000000000000000000081525090508060008151811061179857fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916826000815181106117d257fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614801561187d57508060018151811061181457fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168260018151811061184e57fe5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b6118ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f496e76616c69642043485820616464726573730000000000000000000000000081525060200191505060405180910390fd5b60008260018451038151811061190157fe5b602001015160f81c60f81b905061191781611a74565b61196c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526029815260200180611cb36029913960400191505060405180910390fd5b50505050565b606081905060008160008151811061198657fe5b602001015160f81c60f81b905061199c81611a74565b6119f1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180611cdc6027913960400191505060405180910390fd5b600082600184510381518110611a0357fe5b602001015160f81c60f81b9050611a1981611a74565b611a6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180611cdc6027913960400191505060405180910390fd5b50505050565b6000603060f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015611ad25750603960f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b80611b355750604160f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015611b345750605a60f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b5b80611b985750606160f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191610158015611b975750607a60f81b827effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191611155b5b9050919050565b50805460018160011615610100020316600290046000825580601f10611bc55750611be4565b601f016020900490600052602060002090810190611be39190611c67565b5b50565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611c2857803560ff1916838001178555611c56565b82800160010185558215611c56579182015b82811115611c55578235825591602001919060010190611c3a565b5b509050611c639190611c67565b5090565b611c8991905b80821115611c85576000816000905550600101611c6d565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373434858206164647265737320656e6473207769746820696e636f7272656374206368617261637465725369676e617475726520656e6473207769746820696e636f727265637420636861726163746572a26469706673582212204edcf2ad117c31b7398fea6aa12657595b1218e4129557f3a3ce94a084473c6f64736f6c63430006000033

4758:4037:0:-:0;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4758:4037:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8612:180;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8612:180:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6426:638;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6426:638:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;8326:180;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8326:180:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5219:168;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5219:168:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5219:168:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1565:148;;;:::i;:::-;;923:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5573:173;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5573:173:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5573:173:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5573:173:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;5573:173:0;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5573:173:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5395:170;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5395:170:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5395:170:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5395:170:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;5395:170:0;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1868:244;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1868:244:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;5754:664;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5754:664:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5754:664:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5754:664:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;5754:664:0;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;5754:664:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5754:664:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;5754:664:0;;;;;;;;;;;;:::i;:::-;;8612:180;8722:4;1145:12;:10;:12::i;:::-;1135:22;;:6;;;;;;;;;;;:22;;;1127:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8751:6:::1;:15;;;8767:7;:5;:7::i;:::-;8776;8751:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;8751:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;8751:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26::::0;19:12:::1;2:2;8751:33:0;;;;;;;;;;;;;;;;8744:40;;8612:180:::0;;;;:::o;6426:638::-;1145:12;:10;:12::i;:::-;1135:22;;:6;;;;;;;;;;;:22;;;1127:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6529:25:::1;6557:17;:30;6575:11;6557:30;;;;;;;;;;;;;;;6529:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6635:1;6612:11;6606:25;:30;;6598:39;;;::::0;::::1;;6650:24;6677:15;6693:11;6677:28;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6677:28:0;;;;;;;;;;;;;;;;;;;;;6650:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6752:1;6730:10;6724:24;:29;;6716:38;;;::::0;::::1;;6807:11;6773:45;;:17;6791:11;6773:30;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6773:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:45;;;6765:54;;;::::0;::::1;;6847:17;:30;6865:11;6847:30;;;;;;;;;;;;;;;;6840:37;;;;:::i;:::-;6895:17;6913:11;6895:30;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6895:30:0;;;;;;;;;;;;;;;;;;;;;;6888:37;;;;;;;;;;;6943:15;6959:11;6943:28;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6943:28:0;;;;;;;;;;;;;;;;;;;;;;6936:35;;;;:::i;:::-;7019:11;6997:59;;;7032:11;7045:10;6997:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6997:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6997:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1205:1;;6426:638:::0;:::o;8326:180::-;8420:4;1145:12;:10;:12::i;:::-;1135:22;;:6;;;;;;;;;;;:22;;;1127:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8450:7:::1;:5;:7::i;:::-;8442:25;;:34;8468:7;8442:34;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;8442:34:0;8494:4;8487:11;;8326:180:::0;;;:::o;5219:168::-;5310:13;5349:17;:30;5367:11;5349:30;;;;;;;;;;;;;;;5342:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5219:168;;;:::o;1565:148::-;1145:12;:10;:12::i;:::-;1135:22;;:6;;;;;;;;;;;:22;;;1127:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1672:1:::1;1635:40;;1656:6;::::0;::::1;;;;;;;;;1635:40;;;;;;;;;;;;1703:1;1686:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;1565:148::o:0;923:79::-;961:7;988:6;;;;;;;;;;;981:13;;923:79;:::o;5573:173::-;5671:13;5710:15;5726:11;;5710:28;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;5710:28:0;;;;;;;;;;;;;;;;;;5703:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5573:173;;;;:::o;5395:170::-;5494:7;5527:17;5545:11;;5527:30;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;5527:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5520:37;;5395:170;;;;:::o;1868:244::-;1145:12;:10;:12::i;:::-;1135:22;;:6;;;;;;;;;;;:22;;;1127:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1977:1:::1;1957:22;;:8;:22;;;;1949:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2067:8;2038:38;;2059:6;::::0;::::1;;;;;;;;;2038:38;;;;;;;;;;;;2096:8;2087:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;1868:244:::0;:::o;5754:664::-;5865:19;5887:12;:10;:12::i;:::-;5865:34;;5968:1;5926:17;:30;5944:11;5926:30;;;;;;;;;;;;;;;5920:44;;;;;;;;;;;;;;;;:49;5912:58;;;;;;6031:1;5989:44;;:17;6007:11;;5989:30;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;5989:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:44;;;5981:53;;;;;;6099:1;6059:15;6075:11;;6059:28;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;6059:28:0;;;;;;;;;;;;;;;;;;6053:42;;;;;;;;;;;;;;;;:47;6045:56;;;;;;6112:28;6128:11;;6112:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6112:28:0;;;;;;:15;:28::i;:::-;6151:26;6166:10;;6151:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6151::0;;;;;;:14;:26::i;:::-;6223:11;;6190:17;:30;6208:11;6190:30;;;;;;;;;;;;;;;:44;;;;;;;:::i;:::-;;6278:11;6245:17;6263:11;;6245:30;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;6245:30:0;;;;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;6331:10;;6300:15;6316:11;;6300:28;;;;;30:3:-1;22:6;14;1:33;57:3;49:6;45:16;35:26;;6300:28:0;;;;;;;;;;;;;;;;;;:41;;;;;;;:::i;:::-;;6373:11;6359:51;;;6386:11;;6399:10;;6359:51;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6359:51:0;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;6359:51:0;;;;;;;;;;;;;;;;;5754:664;;;;;:::o;59:106::-;112:15;147:10;140:17;;59:106;:::o;7340:452::-;7440:22;7471:11;7440:43;;7494:20;7517:11;;;;;;;;;;;;;;;;;7494:34;;7563:7;7571:1;7563:10;;;;;;;;;;;;;;;;7547:26;;;:9;7557:1;7547:12;;;;;;;;;;;;;;;;:26;;;;:56;;;;;7593:7;7601:1;7593:10;;;;;;;;;;;;;;;;7577:26;;;:9;7587:1;7577:12;;;;;;;;;;;;;;;;:26;;;;7547:56;7539:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7640:16;7659:9;7688:1;7669:9;:16;:20;7659:31;;;;;;;;;;;;;;;;7640:50;;7709:29;7728:9;7709:18;:29::i;:::-;7701:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7340:452;;;;:::o;7800:441::-;7898:22;7929:10;7898:42;;7953:17;7973:9;7983:1;7973:12;;;;;;;;;;;;;;;;7953:32;;8004:30;8023:10;8004:18;:30::i;:::-;7996:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8091:16;8110:9;8139:1;8120:9;:16;:20;8110:31;;;;;;;;;;;;;;;;8091:50;;8160:29;8179:9;8160:18;:29::i;:::-;8152:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7800:441;;;;:::o;7072:260::-;7163:4;7202;7193:13;;:5;:13;;;;;:30;;;;;7219:4;7210:13;;:5;:13;;;;;7193:30;7192:82;;;;7252:4;7243:13;;:5;:13;;;;;:30;;;;;7269:4;7260:13;;:5;:13;;;;;7243:30;7192:82;:132;;;;7302:4;7293:13;;:5;:13;;;;;:30;;;;;7319:4;7310:13;;:5;:13;;;;;7293:30;7192:132;7185:139;;7072:260;;;:::o;4758:4037::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

ipfs://4edcf2ad117c31b7398fea6aa12657595b1218e4129557f3a3ce94a084473c6f