Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract ERC20Detailed is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
• interface IBridge
•    - function version()
•    - function getFeePercentage()
•    - function calcMaxWithdraw()
•    - function receiveTokens(address tokenT ...
•    - function receiveTokensAt(
•    - function tokensReceived (
•    - function acceptTransfer(
•    - function acceptTransferAt(
•  contract Context
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract Federation is Ownable *
•    - function setBridge(address _bridge)
•    - function voteTransaction(
•    - function voteTransactionAt(
•    - function _voteTransaction(
•    - function getTransactionCount(bytes32 ...
•    - function hasVoted(bytes32 transaction ...
•    - function transactionWasProcessed(byte ...
•    - function getTransactionId(
•    - function addMember(address _newMember ...
•    - function removeMember(address _oldMem ...
•    - function getMembers()
•    - function changeRequirement(uint _requ ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-04-17
*/

// File: contracts/zeppelin/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.
     *
     * 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);
}

// File: contracts/zeppelin/token/ERC20/ERC20Detailed.sol

pragma solidity ^0.5.0;


/**
 * @dev Optional functions from the ERC20 standard.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for `name`, `symbol`, and `decimals`. All three of
     * these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

// File: contracts/IBridge.sol

pragma solidity ^0.5.0;


interface IBridge {
    function version() external pure returns (string memory);

    function getFeePercentage() external view returns(uint);

    function calcMaxWithdraw() external view returns (uint);

    /**
     * ERC-20 tokens approve and transferFrom pattern
     * See https://eips.ethereum.org/EIPS/eip-20#transferfrom
     */
    function receiveTokens(address tokenToUse, uint256 amount) external returns(bool);

    /**
     * ERC-20 tokens approve and transferFrom pattern
     * See https://eips.ethereum.org/EIPS/eip-20#transferfrom
     */
    function receiveTokensAt(
        address tokenToUse,
        uint256 amount,
        address receiver,
        bytes calldata extraData
    ) external returns(bool);

    /**
     * ERC-777 tokensReceived hook allows to send tokens to a contract and notify it in a single transaction
     * See https://eips.ethereum.org/EIPS/eip-777#motivation for details
     */
    function tokensReceived (
        address operator,
        address from,
        address to,
        uint amount,
        bytes calldata userData,
        bytes calldata operatorData
    ) external;

    /**
     * Accepts the transaction from the other chain that was voted and sent by the federation contract
     */
    function acceptTransfer(
        address originalTokenAddress,
        address receiver,
        uint256 amount,
        string calldata symbol,
        bytes32 blockHash,
        bytes32 transactionHash,
        uint32 logIndex,
        uint8 decimals,
        uint256 granularity
    ) external returns(bool);

    function acceptTransferAt(
        address originalTokenAddress,
        address receiver,
        uint256 amount,
        string calldata symbol,
        bytes32 blockHash,
        bytes32 transactionHash,
        uint32 logIndex,
        uint8 decimals,
        uint256 granularity,
        bytes calldata userData
    ) external returns(bool);

    event Cross(address indexed _tokenAddress, address indexed _to, uint256 _amount, string _symbol, bytes _userData,
        uint8 _decimals, uint256 _granularity);
    event NewSideToken(address indexed _newSideTokenAddress, address indexed _originalTokenAddress, string _newSymbol, uint256 _granularity);
    event AcceptedCrossTransfer(address indexed _tokenAddress, address indexed _to, uint256 _amount, uint8 _decimals, uint256 _granularity,
        uint256 _formattedAmount, uint8 _calculatedDecimals, uint256 _calculatedGranularity, bytes _userData);
    event FeePercentageChanged(uint256 _amount);
    event ErrorTokenReceiver(bytes _errorData);
}

// File: contracts/zeppelin/GSN/Context.sol

pragma solidity ^0.5.0;

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

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

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

// File: contracts/zeppelin/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 applied to your functions to restrict their use to
 * the owner.
 */
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 {
        _owner = _msgSender();
        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 _msgSender() == _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/Federation.sol

pragma solidity ^0.5.0;



contract Federation is Ownable {
    uint constant public MAX_MEMBER_COUNT = 50;
    address constant private NULL_ADDRESS = address(0);

    IBridge public bridge;
    address[] public members;
    uint public required;

    mapping (address => bool) public isMember;
    mapping (bytes32 => mapping (address => bool)) public votes;
    mapping(bytes32 => bool) public processed;
    // solium-disable-next-line max-len
    event Voted(address indexed sender, bytes32 indexed transactionId, address originalTokenAddress, address receiver, uint256 amount, string symbol, bytes32 blockHash, bytes32 indexed transactionHash, uint32 logIndex, uint8 decimals, uint256 granularity);
    event Executed(bytes32 indexed transactionId);
    event MemberAddition(address indexed member);
    event MemberRemoval(address indexed member);
    event RequirementChange(uint required);
    event BridgeChanged(address bridge);

    modifier onlyMember() {
        require(isMember[_msgSender()], "Federation: Caller not a Federator");
        _;
    }

    modifier validRequirement(uint membersCount, uint _required) {
        // solium-disable-next-line max-len
        require(_required <= membersCount && _required != 0 && membersCount != 0, "Federation: Invalid requirements");
        _;
    }

    constructor(address[] memory _members, uint _required) public validRequirement(_members.length, _required) {
        require(_members.length <= MAX_MEMBER_COUNT, "Federation: Members larger than max allowed");
        members = _members;
        for (uint i = 0; i < _members.length; i++) {
            require(!isMember[_members[i]] && _members[i] != NULL_ADDRESS, "Federation: Invalid members");
            isMember[_members[i]] = true;
            emit MemberAddition(_members[i]);
        }
        required = _required;
        emit RequirementChange(required);
    }

    function setBridge(address _bridge) external onlyOwner {
        require(_bridge != NULL_ADDRESS, "Federation: Empty bridge");
        bridge = IBridge(_bridge);
        emit BridgeChanged(_bridge);
    }

    function voteTransaction(
        address originalTokenAddress,
        address receiver,
        uint256 amount,
        string calldata symbol,
        bytes32 blockHash,
        bytes32 transactionHash,
        uint32 logIndex,
        uint8 decimals,
        uint256 granularity)
    external returns(bool)
    {
        return _voteTransaction(originalTokenAddress, receiver, amount, symbol, blockHash, transactionHash, logIndex, decimals, granularity, "");
    }

    function voteTransactionAt(
        address originalTokenAddress,
        address receiver,
        uint256 amount,
        string calldata symbol,
        bytes32 blockHash,
        bytes32 transactionHash,
        uint32 logIndex,
        uint8 decimals,
        uint256 granularity,
        bytes calldata userData)
    external returns(bool)
    {
        return _voteTransaction(originalTokenAddress, receiver, amount, symbol, blockHash, transactionHash, logIndex, decimals, granularity, userData);
    }

    function _voteTransaction(
        address originalTokenAddress,
        address receiver,
        uint256 amount,
        string memory symbol,
        bytes32 blockHash,
        bytes32 transactionHash,
        uint32 logIndex,
        uint8 decimals,
        uint256 granularity,
        bytes memory userData
    ) internal onlyMember returns(bool) {
        // solium-disable-next-line max-len
        bytes32 transactionId = getTransactionId(originalTokenAddress, receiver, amount, symbol, blockHash, transactionHash, logIndex, decimals, granularity);
        if (processed[transactionId])
            return true;

        if (votes[transactionId][_msgSender()])
            return true;

        votes[transactionId][_msgSender()] = true;
        // solium-disable-next-line max-len
        emit Voted(_msgSender(), transactionId, originalTokenAddress, receiver, amount, symbol, blockHash, transactionHash, logIndex, decimals, granularity);

        uint transactionCount = getTransactionCount(transactionId);
        if (transactionCount >= required && transactionCount >= members.length / 2 + 1) {
            processed[transactionId] = true;
            bool acceptTransfer = bridge.acceptTransferAt(
                originalTokenAddress,
                receiver,
                amount,
                symbol,
                blockHash,
                transactionHash,
                logIndex,
                decimals,
                granularity,
                userData
            );
            require(acceptTransfer, "Federation: Bridge acceptTransfer error");
            emit Executed(transactionId);
            return true;
        }

        return true;
    }

    function getTransactionCount(bytes32 transactionId) public view returns(uint) {
        uint count = 0;
        for (uint i = 0; i < members.length; i++) {
            if (votes[transactionId][members[i]])
                count += 1;
        }
        return count;
    }

    function hasVoted(bytes32 transactionId) external view returns(bool)
    {
        return votes[transactionId][_msgSender()];
    }

    function transactionWasProcessed(bytes32 transactionId) external view returns(bool)
    {
        return processed[transactionId];
    }

    function getTransactionId(
        address originalTokenAddress,
        address receiver,
        uint256 amount,
        string memory symbol,
        bytes32 blockHash,
        bytes32 transactionHash,
        uint32 logIndex,
        uint8 decimals,
        uint256 granularity)
    public pure returns(bytes32)
    {
        // solium-disable-next-line max-len
        return keccak256(abi.encodePacked(originalTokenAddress, receiver, amount, symbol, blockHash, transactionHash, logIndex, decimals, granularity));
    }

    function addMember(address _newMember) external onlyOwner
    {
        require(_newMember != NULL_ADDRESS, "Federation: Empty member");
        require(!isMember[_newMember], "Federation: Member already exists");
        require(members.length < MAX_MEMBER_COUNT, "Federation: Max members reached");

        isMember[_newMember] = true;
        members.push(_newMember);
        emit MemberAddition(_newMember);
    }

    function removeMember(address _oldMember) external onlyOwner
    {
        require(_oldMember != NULL_ADDRESS, "Federation: Empty member");
        require(isMember[_oldMember], "Federation: Member doesn't exists");
        require(members.length > 1, "Federation: Can't remove all the members");
        require(members.length - 1 >= required, "Federation: Can't have less than required members");

        isMember[_oldMember] = false;
        for (uint i = 0; i < members.length - 1; i++) {
            if (members[i] == _oldMember) {
                members[i] = members[members.length - 1];
                break;
            }
        }
        members.length -= 1;
        emit MemberRemoval(_oldMember);
    }

    function getMembers() external view returns (address[] memory)
    {
        return members;
    }

    function changeRequirement(uint _required) external onlyOwner validRequirement(members.length, _required)
    {
        require(_required >= 2, "Federation: Requires at least 2");
        required = _required;
        emit RequirementChange(_required);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address[]","name":"_members","type":"address[]"},{"internalType":"uint256","name":"_required","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"bridge","type":"address"}],"name":"BridgeChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"transactionId","type":"bytes32"}],"name":"Executed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"member","type":"address"}],"name":"MemberAddition","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"member","type":"address"}],"name":"MemberRemoval","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"required","type":"uint256"}],"name":"RequirementChange","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"bytes32","name":"transactionId","type":"bytes32"},{"indexed":false,"internalType":"address","name":"originalTokenAddress","type":"address"},{"indexed":false,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"string","name":"symbol","type":"string"},{"indexed":false,"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"transactionHash","type":"bytes32"},{"indexed":false,"internalType":"uint32","name":"logIndex","type":"uint32"},{"indexed":false,"internalType":"uint8","name":"decimals","type":"uint8"},{"indexed":false,"internalType":"uint256","name":"granularity","type":"uint256"}],"name":"Voted","type":"event"},{"constant":true,"inputs":[],"name":"MAX_MEMBER_COUNT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newMember","type":"address"}],"name":"addMember","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"bridge","outputs":[{"internalType":"contract IBridge","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_required","type":"uint256"}],"name":"changeRequirement","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getMembers","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"transactionId","type":"bytes32"}],"name":"getTransactionCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"originalTokenAddress","type":"address"},{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"symbol","type":"string"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"transactionHash","type":"bytes32"},{"internalType":"uint32","name":"logIndex","type":"uint32"},{"internalType":"uint8","name":"decimals","type":"uint8"},{"internalType":"uint256","name":"granularity","type":"uint256"}],"name":"getTransactionId","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"transactionId","type":"bytes32"}],"name":"hasVoted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isMember","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"members","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"processed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_oldMember","type":"address"}],"name":"removeMember","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"required","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_bridge","type":"address"}],"name":"setBridge","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"transactionId","type":"bytes32"}],"name":"transactionWasProcessed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"originalTokenAddress","type":"address"},{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"symbol","type":"string"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"transactionHash","type":"bytes32"},{"internalType":"uint32","name":"logIndex","type":"uint32"},{"internalType":"uint8","name":"decimals","type":"uint8"},{"internalType":"uint256","name":"granularity","type":"uint256"}],"name":"voteTransaction","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"originalTokenAddress","type":"address"},{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"symbol","type":"string"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"transactionHash","type":"bytes32"},{"internalType":"uint32","name":"logIndex","type":"uint32"},{"internalType":"uint8","name":"decimals","type":"uint8"},{"internalType":"uint256","name":"granularity","type":"uint256"},{"internalType":"bytes","name":"userData","type":"bytes"}],"name":"voteTransactionAt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"address","name":"","type":"address"}],"name":"votes","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b5060405162002c0338038062002c03833981810160405260408110156200003757600080fd5b81019080805160405193929190846401000000008211156200005857600080fd5b838201915060208201858111156200006f57600080fd5b82518660208202830111640100000000821117156200008d57600080fd5b8083526020830192505050908051906020019060200280838360005b83811015620000c6578082015181840152602081019050620000a9565b5050505090500160405260200180519060200190929190505050620000f06200050660201b60201c565b6000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3815181818111158015620001c0575060008114155b8015620001ce575060008214155b62000241576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f46656465726174696f6e3a20496e76616c696420726571756972656d656e747381525060200191505060405180910390fd5b6032845111156200029e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b81526020018062002bd8602b913960400191505060405180910390fd5b8360029080519060200190620002b69291906200050e565b5060008090505b8451811015620004bb5760046000868381518110620002d857fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16158015620003775750600073ffffffffffffffffffffffffffffffffffffffff168582815181106200035657fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1614155b620003ea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f46656465726174696f6e3a20496e76616c6964206d656d62657273000000000081525060200191505060405180910390fd5b600160046000878481518110620003fd57fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508481815181106200046357fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff167f72114e270de66b9d2710ecf140403e5e99b1574767d6a8197bdc8d807a46e7c760405160405180910390a28080600101915050620002bd565b50826003819055507fa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a6003546040518082815260200191505060405180910390a150505050620005e3565b600033905090565b8280548282559060005260206000209081019282156200058a579160200282015b82811115620005895782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550916020019190600101906200052f565b5b5090506200059991906200059d565b5090565b620005e091905b80821115620005dc57600081816101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905550600101620005a4565b5090565b90565b6125e580620005f36000396000f3fe608060405234801561001057600080fd5b50600436106101425760003560e01c80639eab5253116100b8578063c1f0808a1161007c578063c1f0808a146107af578063ca6d56dc146107f5578063d03e1ee914610839578063dc8452cd14610950578063e78cea921461096e578063f2fde38b146109b857610142565b80639eab52531461063e578063a1fb4acb1461069d578063a230c524146106df578063a93585f01461073b578063ba51a6df1461078157610142565b8063681fc9211161010a578063681fc92114610500578063715018a61461051e5780638da5cb5b146105285780638dd14802146105725780638f32d59b146105b65780639386775a146105d857610142565b806309916057146101475780630b1ca49a1461029c5780631b4613cb146102e0578063493532a2146103265780635daf08ca14610492575b600080fd5b610286600480360361012081101561015e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156101c557600080fd5b8201836020820111156101d757600080fd5b803590602001918460018302840111640100000000831117156101f957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019092919080359060200190929190803563ffffffff169060200190929190803560ff169060200190929190803590602001909291905050506109fc565b6040518082815260200191505060405180910390f35b6102de600480360360208110156102b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b35565b005b61030c600480360360208110156102f657600080fd5b8101908080359060200190929190505050610f95565b604051808215151515815260200191505060405180910390f35b610478600480360361014081101561033d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156103a457600080fd5b8201836020820111156103b657600080fd5b803590602001918460018302840111640100000000831117156103d857600080fd5b90919293919293908035906020019092919080359060200190929190803563ffffffff169060200190929190803560ff169060200190929190803590602001909291908035906020019064010000000081111561043457600080fd5b82018360208201111561044657600080fd5b8035906020019184600183028401116401000000008311171561046857600080fd5b9091929391929390505050611003565b604051808215151515815260200191505060405180910390f35b6104be600480360360208110156104a857600080fd5b81019080803590602001909291905050506110b1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105086110ed565b6040518082815260200191505060405180910390f35b6105266110f2565b005b61053061122b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105b46004803603602081101561058857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611254565b005b6105be611418565b604051808215151515815260200191505060405180910390f35b610624600480360360408110156105ee57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611476565b604051808215151515815260200191505060405180910390f35b6106466114a5565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561068957808201518184015260208101905061066e565b505050509050019250505060405180910390f35b6106c9600480360360208110156106b357600080fd5b8101908080359060200190929190505050611533565b6040518082815260200191505060405180910390f35b610721600480360360208110156106f557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611605565b604051808215151515815260200191505060405180910390f35b6107676004803603602081101561075157600080fd5b8101908080359060200190929190505050611625565b604051808215151515815260200191505060405180910390f35b6107ad6004803603602081101561079757600080fd5b810190808035906020019092919050505061164f565b005b6107db600480360360208110156107c557600080fd5b810190808035906020019092919050505061181a565b604051808215151515815260200191505060405180910390f35b6108376004803603602081101561080b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061183a565b005b610936600480360361012081101561085057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156108b757600080fd5b8201836020820111156108c957600080fd5b803590602001918460018302840111640100000000831117156108eb57600080fd5b90919293919293908035906020019092919080359060200190929190803563ffffffff169060200190929190803560ff16906020019092919080359060200190929190505050611b79565b604051808215151515815260200191505060405180910390f35b610958611bf0565b6040518082815260200191505060405180910390f35b610976611bf6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109fa600480360360208110156109ce57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c1c565b005b6000898989898989898989604051602001808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140188815260200187805190602001908083835b60208310610aad5780518252602082019150602081019050602083039250610a8a565b6001836020036101000a0380198251168184511680821785525050505050509050018681526020018581526020018463ffffffff1663ffffffff1660e01b81526004018360ff1660ff1660f81b815260010182815260200199505050505050505050506040516020818303038152906040528051906020012090509998505050505050505050565b610b3d611418565b610baf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610c52576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f46656465726174696f6e3a20456d707479206d656d626572000000000000000081525060200191505060405180910390fd5b600460008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610cf4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806125166021913960400191505060405180910390fd5b600160028054905011610d52576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806125896028913960400191505060405180910390fd5b6003546001600280549050031015610db5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260318152602001806125586031913960400191505060405180910390fd5b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060008090505b600160028054905003811015610f35578173ffffffffffffffffffffffffffffffffffffffff1660028281548110610e4757fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610f2857600260016002805490500381548110610ea357fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660028281548110610edb57fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610f35565b8080600101915050610e13565b506001600281818054905003915081610f4e9190612455565b508073ffffffffffffffffffffffffffffffffffffffff167f270bfc616dd36d5cb6b35aac93e6ef22b089c34e6f6ad6f0892797424840897b60405160405180910390a250565b6000600560008381526020019081526020016000206000610fb4611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600061109f8d8d8d8d8d8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508c8c8c8c8c8c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611caa565b90509c9b505050505050505050505050565b600281815481106110be57fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b603281565b6110fa611418565b61116c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61125c611418565b6112ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611371576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f46656465726174696f6e3a20456d70747920627269646765000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f9775531310b2880b61484ed85cbb0b491c8fde3a07f289c63b9255178279449781604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661145a611ca2565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b60056020528160005260406000206020528060005260406000206000915091509054906101000a900460ff1681565b6060600280548060200260200160405190810160405280929190818152602001828054801561152957602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190600101908083116114df575b5050505050905090565b6000806000905060008090505b6002805490508110156115fb576005600085815260200190815260200160002060006002838154811061156f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156115ee576001820191505b8080600101915050611540565b5080915050919050565b60046020528060005260406000206000915054906101000a900460ff1681565b60006006600083815260200190815260200160002060009054906101000a900460ff169050919050565b611657611418565b6116c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600280549050818181111580156116e1575060008114155b80156116ee575060008214155b611760576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f46656465726174696f6e3a20496e76616c696420726571756972656d656e747381525060200191505060405180910390fd5b60028310156117d7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f46656465726174696f6e3a205265717569726573206174206c6561737420320081525060200191505060405180910390fd5b826003819055507fa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a836040518082815260200191505060405180910390a1505050565b60066020528060005260406000206000915054906101000a900460ff1681565b611842611418565b6118b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611957576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f46656465726174696f6e3a20456d707479206d656d626572000000000000000081525060200191505060405180910390fd5b600460008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156119fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806125376021913960400191505060405180910390fd5b603260028054905010611a75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f46656465726174696f6e3a204d6178206d656d6265727320726561636865640081525060200191505060405180910390fd5b6001600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060028190806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550508073ffffffffffffffffffffffffffffffffffffffff167f72114e270de66b9d2710ecf140403e5e99b1574767d6a8197bdc8d807a46e7c760405160405180910390a250565b6000611be08b8b8b8b8b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508a8a8a8a8a60405180602001604052806000815250611caa565b90509a9950505050505050505050565b60035481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611c24611418565b611c96576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b611c9f81612311565b50565b600033905090565b600060046000611cb8611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611d55576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806124a76022913960400191505060405180910390fd5b6000611d688c8c8c8c8c8c8c8c8c6109fc565b90506006600082815260200190815260200160002060009054906101000a900460ff1615611d9a576001915050612303565b600560008281526020019081526020016000206000611db7611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611e0e576001915050612303565b6001600560008381526020019081526020016000206000611e2d611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508681611e88611ca2565b73ffffffffffffffffffffffffffffffffffffffff167f4237ab39e8496b350fbe760f4402abe992fc5d7e175824b087182422d347cf8a8f8f8f8f8f8e8e8e604051808973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001878152602001806020018681526020018563ffffffff1663ffffffff1681526020018460ff1660ff168152602001838152602001828103825287818151815260200191508051906020019080838360005b83811015611f9b578082015181840152602081019050611f80565b50505050905090810190601f168015611fc85780820380516001836020036101000a031916815260200191505b50995050505050505050505060405180910390a46000611fe782611533565b9050600354811015801561200c57506001600280805490508161200657fe5b04018110155b156122fc5760016006600084815260200190815260200160002060006101000a81548160ff0219169083151502179055506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d058ae968f8f8f8f8f8f8f8f8f8f6040518b63ffffffff1660e01b8152600401808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001898152602001806020018881526020018781526020018663ffffffff1663ffffffff1681526020018560ff1660ff1681526020018481526020018060200183810383528a818151815260200191508051906020019080838360005b83811015612174578082015181840152602081019050612159565b50505050905090810190601f1680156121a15780820380516001836020036101000a031916815260200191505b50838103825284818151815260200191508051906020019080838360005b838110156121da5780820151818401526020810190506121bf565b50505050905090810190601f1680156122075780820380516001836020036101000a031916815260200191505b509c50505050505050505050505050602060405180830381600087803b15801561223057600080fd5b505af1158015612244573d6000803e3d6000fd5b505050506040513d602081101561225a57600080fd5b81019080805190602001909291905050509050806122c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001806124ef6027913960400191505060405180910390fd5b827fa74c8847d513feba22a0f0cb38d53081abf97562cdb293926ba243689e7c41ca60405160405180910390a260019350505050612303565b6001925050505b9a9950505050505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612397576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806124c96026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b81548183558181111561247c5781836000526020600020918201910161247b9190612481565b5b505050565b6124a391905b8082111561249f576000816000905550600101612487565b5090565b9056fe46656465726174696f6e3a2043616c6c6572206e6f74206120466564657261746f724f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737346656465726174696f6e3a20427269646765206163636570745472616e73666572206572726f7246656465726174696f6e3a204d656d62657220646f65736e27742065786973747346656465726174696f6e3a204d656d62657220616c72656164792065786973747346656465726174696f6e3a2043616e27742068617665206c657373207468616e207265717569726564206d656d6265727346656465726174696f6e3a2043616e27742072656d6f766520616c6c20746865206d656d62657273a265627a7a7231582092eb1e73ab2b98949a1d225e1f1801d74eec7b939aa49b16beeea39b8ee2915864736f6c6343000511003246656465726174696f6e3a204d656d62657273206c6172676572207468616e206d617820616c6c6f776564000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000dc83580abf622ec75f69b56ddf945dd6cdbf53d2

0x608060405234801561001057600080fd5b50600436106101425760003560e01c80639eab5253116100b8578063c1f0808a1161007c578063c1f0808a146107af578063ca6d56dc146107f5578063d03e1ee914610839578063dc8452cd14610950578063e78cea921461096e578063f2fde38b146109b857610142565b80639eab52531461063e578063a1fb4acb1461069d578063a230c524146106df578063a93585f01461073b578063ba51a6df1461078157610142565b8063681fc9211161010a578063681fc92114610500578063715018a61461051e5780638da5cb5b146105285780638dd14802146105725780638f32d59b146105b65780639386775a146105d857610142565b806309916057146101475780630b1ca49a1461029c5780631b4613cb146102e0578063493532a2146103265780635daf08ca14610492575b600080fd5b610286600480360361012081101561015e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156101c557600080fd5b8201836020820111156101d757600080fd5b803590602001918460018302840111640100000000831117156101f957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019092919080359060200190929190803563ffffffff169060200190929190803560ff169060200190929190803590602001909291905050506109fc565b6040518082815260200191505060405180910390f35b6102de600480360360208110156102b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b35565b005b61030c600480360360208110156102f657600080fd5b8101908080359060200190929190505050610f95565b604051808215151515815260200191505060405180910390f35b610478600480360361014081101561033d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156103a457600080fd5b8201836020820111156103b657600080fd5b803590602001918460018302840111640100000000831117156103d857600080fd5b90919293919293908035906020019092919080359060200190929190803563ffffffff169060200190929190803560ff169060200190929190803590602001909291908035906020019064010000000081111561043457600080fd5b82018360208201111561044657600080fd5b8035906020019184600183028401116401000000008311171561046857600080fd5b9091929391929390505050611003565b604051808215151515815260200191505060405180910390f35b6104be600480360360208110156104a857600080fd5b81019080803590602001909291905050506110b1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105086110ed565b6040518082815260200191505060405180910390f35b6105266110f2565b005b61053061122b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105b46004803603602081101561058857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611254565b005b6105be611418565b604051808215151515815260200191505060405180910390f35b610624600480360360408110156105ee57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611476565b604051808215151515815260200191505060405180910390f35b6106466114a5565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561068957808201518184015260208101905061066e565b505050509050019250505060405180910390f35b6106c9600480360360208110156106b357600080fd5b8101908080359060200190929190505050611533565b6040518082815260200191505060405180910390f35b610721600480360360208110156106f557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611605565b604051808215151515815260200191505060405180910390f35b6107676004803603602081101561075157600080fd5b8101908080359060200190929190505050611625565b604051808215151515815260200191505060405180910390f35b6107ad6004803603602081101561079757600080fd5b810190808035906020019092919050505061164f565b005b6107db600480360360208110156107c557600080fd5b810190808035906020019092919050505061181a565b604051808215151515815260200191505060405180910390f35b6108376004803603602081101561080b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061183a565b005b610936600480360361012081101561085057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156108b757600080fd5b8201836020820111156108c957600080fd5b803590602001918460018302840111640100000000831117156108eb57600080fd5b90919293919293908035906020019092919080359060200190929190803563ffffffff169060200190929190803560ff16906020019092919080359060200190929190505050611b79565b604051808215151515815260200191505060405180910390f35b610958611bf0565b6040518082815260200191505060405180910390f35b610976611bf6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109fa600480360360208110156109ce57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c1c565b005b6000898989898989898989604051602001808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b81526014018973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660601b815260140188815260200187805190602001908083835b60208310610aad5780518252602082019150602081019050602083039250610a8a565b6001836020036101000a0380198251168184511680821785525050505050509050018681526020018581526020018463ffffffff1663ffffffff1660e01b81526004018360ff1660ff1660f81b815260010182815260200199505050505050505050506040516020818303038152906040528051906020012090509998505050505050505050565b610b3d611418565b610baf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610c52576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f46656465726174696f6e3a20456d707479206d656d626572000000000000000081525060200191505060405180910390fd5b600460008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610cf4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806125166021913960400191505060405180910390fd5b600160028054905011610d52576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806125896028913960400191505060405180910390fd5b6003546001600280549050031015610db5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260318152602001806125586031913960400191505060405180910390fd5b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060008090505b600160028054905003811015610f35578173ffffffffffffffffffffffffffffffffffffffff1660028281548110610e4757fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610f2857600260016002805490500381548110610ea357fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660028281548110610edb57fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610f35565b8080600101915050610e13565b506001600281818054905003915081610f4e9190612455565b508073ffffffffffffffffffffffffffffffffffffffff167f270bfc616dd36d5cb6b35aac93e6ef22b089c34e6f6ad6f0892797424840897b60405160405180910390a250565b6000600560008381526020019081526020016000206000610fb4611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600061109f8d8d8d8d8d8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508c8c8c8c8c8c8c8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611caa565b90509c9b505050505050505050505050565b600281815481106110be57fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b603281565b6110fa611418565b61116c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61125c611418565b6112ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611371576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f46656465726174696f6e3a20456d70747920627269646765000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f9775531310b2880b61484ed85cbb0b491c8fde3a07f289c63b9255178279449781604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661145a611ca2565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b60056020528160005260406000206020528060005260406000206000915091509054906101000a900460ff1681565b6060600280548060200260200160405190810160405280929190818152602001828054801561152957602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190600101908083116114df575b5050505050905090565b6000806000905060008090505b6002805490508110156115fb576005600085815260200190815260200160002060006002838154811061156f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156115ee576001820191505b8080600101915050611540565b5080915050919050565b60046020528060005260406000206000915054906101000a900460ff1681565b60006006600083815260200190815260200160002060009054906101000a900460ff169050919050565b611657611418565b6116c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600280549050818181111580156116e1575060008114155b80156116ee575060008214155b611760576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f46656465726174696f6e3a20496e76616c696420726571756972656d656e747381525060200191505060405180910390fd5b60028310156117d7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f46656465726174696f6e3a205265717569726573206174206c6561737420320081525060200191505060405180910390fd5b826003819055507fa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a836040518082815260200191505060405180910390a1505050565b60066020528060005260406000206000915054906101000a900460ff1681565b611842611418565b6118b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611957576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f46656465726174696f6e3a20456d707479206d656d626572000000000000000081525060200191505060405180910390fd5b600460008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156119fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806125376021913960400191505060405180910390fd5b603260028054905010611a75576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f46656465726174696f6e3a204d6178206d656d6265727320726561636865640081525060200191505060405180910390fd5b6001600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060028190806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550508073ffffffffffffffffffffffffffffffffffffffff167f72114e270de66b9d2710ecf140403e5e99b1574767d6a8197bdc8d807a46e7c760405160405180910390a250565b6000611be08b8b8b8b8b8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508a8a8a8a8a60405180602001604052806000815250611caa565b90509a9950505050505050505050565b60035481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611c24611418565b611c96576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b611c9f81612311565b50565b600033905090565b600060046000611cb8611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611d55576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806124a76022913960400191505060405180910390fd5b6000611d688c8c8c8c8c8c8c8c8c6109fc565b90506006600082815260200190815260200160002060009054906101000a900460ff1615611d9a576001915050612303565b600560008281526020019081526020016000206000611db7611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611e0e576001915050612303565b6001600560008381526020019081526020016000206000611e2d611ca2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508681611e88611ca2565b73ffffffffffffffffffffffffffffffffffffffff167f4237ab39e8496b350fbe760f4402abe992fc5d7e175824b087182422d347cf8a8f8f8f8f8f8e8e8e604051808973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001878152602001806020018681526020018563ffffffff1663ffffffff1681526020018460ff1660ff168152602001838152602001828103825287818151815260200191508051906020019080838360005b83811015611f9b578082015181840152602081019050611f80565b50505050905090810190601f168015611fc85780820380516001836020036101000a031916815260200191505b50995050505050505050505060405180910390a46000611fe782611533565b9050600354811015801561200c57506001600280805490508161200657fe5b04018110155b156122fc5760016006600084815260200190815260200160002060006101000a81548160ff0219169083151502179055506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d058ae968f8f8f8f8f8f8f8f8f8f6040518b63ffffffff1660e01b8152600401808b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001898152602001806020018881526020018781526020018663ffffffff1663ffffffff1681526020018560ff1660ff1681526020018481526020018060200183810383528a818151815260200191508051906020019080838360005b83811015612174578082015181840152602081019050612159565b50505050905090810190601f1680156121a15780820380516001836020036101000a031916815260200191505b50838103825284818151815260200191508051906020019080838360005b838110156121da5780820151818401526020810190506121bf565b50505050905090810190601f1680156122075780820380516001836020036101000a031916815260200191505b509c50505050505050505050505050602060405180830381600087803b15801561223057600080fd5b505af1158015612244573d6000803e3d6000fd5b505050506040513d602081101561225a57600080fd5b81019080805190602001909291905050509050806122c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260278152602001806124ef6027913960400191505060405180910390fd5b827fa74c8847d513feba22a0f0cb38d53081abf97562cdb293926ba243689e7c41ca60405160405180910390a260019350505050612303565b6001925050505b9a9950505050505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415612397576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806124c96026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b81548183558181111561247c5781836000526020600020918201910161247b9190612481565b5b505050565b6124a391905b8082111561249f576000816000905550600101612487565b5090565b9056fe46656465726174696f6e3a2043616c6c6572206e6f74206120466564657261746f724f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737346656465726174696f6e3a20427269646765206163636570745472616e73666572206572726f7246656465726174696f6e3a204d656d62657220646f65736e27742065786973747346656465726174696f6e3a204d656d62657220616c72656164792065786973747346656465726174696f6e3a2043616e27742068617665206c657373207468616e207265717569726564206d656d6265727346656465726174696f6e3a2043616e27742072656d6f766520616c6c20746865206d656d62657273a265627a7a7231582092eb1e73ab2b98949a1d225e1f1801d74eec7b939aa49b16beeea39b8ee2915864736f6c63430005110032

000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000dc83580abf622ec75f69b56ddf945dd6cdbf53d2

-----Decoded View---------------
Arg [0] : _members (address[]): 0xdc83580AbF622Ec75f69B56DDF945Dd6CDBF53D2
Arg [1] : _required (uint256): 1

-----Encoded View---------------
4 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000040
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000001
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000001
Arg [3] : 000000000000000000000000dc83580abf622ec75f69b56ddf945dd6cdbf53d2

10966:7565:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10966:7565:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16431:538;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;16431:538:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;16431:538:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;16431:538: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;16431:538: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;;16431:538:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17413:733;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17413:733:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;16142:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16142:134:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13583:523;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;13583:523:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;13583:523:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;13583:523: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;13583:523:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;13583:523:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;13583:523: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;13583:523:0;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11140:24;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11140:24:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11004:42;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10152:140;;;:::i;:::-;;9341:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12878:208;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12878:208:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;9707:94;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11248:59;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11248:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18154:101;;;:::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;18154:101:0;;;;;;;;;;;;;;;;;15856:278;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15856:278:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11200:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11200:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16284:139;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16284:139:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18263:263;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18263:263:0;;;;;;;;;;;;;;;;;:::i;:::-;;11314:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11314:41:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16977:428;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16977:428:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;13094:481;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;13094:481:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;13094:481:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;13094:481: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;13094:481:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11171:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11112:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10447:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10447:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;16431:538;16748:7;16852:20;16874:8;16884:6;16892;16900:9;16911:15;16928:8;16938;16948:11;16835:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;;16835:125:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;16835:125:0;;;16825:136;;;;;;16818:143;;16431:538;;;;;;;;;;;:::o;17413:733::-;9553:9;:7;:9::i;:::-;9545:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11101:1;17498:26;;:10;:26;;;;17490:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17572:8;:20;17581:10;17572:20;;;;;;;;;;;;;;;;;;;;;;;;;17564:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17666:1;17649:7;:14;;;;:18;17641:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17753:8;;17748:1;17731:7;:14;;;;:18;:30;;17723:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17851:5;17828:8;:20;17837:10;17828:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;17872:6;17881:1;17872:10;;17867:201;17905:1;17888:7;:14;;;;:18;17884:1;:22;17867:201;;;17946:10;17932:24;;:7;17940:1;17932:10;;;;;;;;;;;;;;;;;;;;;;;;;:24;;;17928:129;;;17990:7;18015:1;17998:7;:14;;;;:18;17990:27;;;;;;;;;;;;;;;;;;;;;;;;;17977:7;17985:1;17977:10;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;18036:5;;17928:129;17908:3;;;;;;;17867:201;;;;18096:1;18078:7;:19;;;;;;;;;;;;;;:::i;:::-;;18127:10;18113:25;;;;;;;;;;;;17413:733;:::o;16142:134::-;16205:4;16234:5;:20;16240:13;16234:20;;;;;;;;;;;:34;16255:12;:10;:12::i;:::-;16234:34;;;;;;;;;;;;;;;;;;;;;;;;;16227:41;;16142:134;;;:::o;13583:523::-;13934:4;13963:135;13980:20;14002:8;14012:6;14020;;13963:135;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;13963:135:0;;;;;;14028:9;14039:15;14056:8;14066;14076:11;14089:8;;13963:135;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;13963:135:0;;;;;;:16;:135::i;:::-;13956:142;;13583:523;;;;;;;;;;;;;;:::o;11140:24::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;11004:42::-;11044:2;11004:42;:::o;10152:140::-;9553:9;:7;:9::i;:::-;9545:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10251:1;10214:40;;10235:6;;;;;;;;;;;10214:40;;;;;;;;;;;;10282:1;10265:6;;:19;;;;;;;;;;;;;;;;;;10152:140::o;9341:79::-;9379:7;9406:6;;;;;;;;;;;9399:13;;9341:79;:::o;12878:208::-;9553:9;:7;:9::i;:::-;9545:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11101:1;12952:23;;:7;:23;;;;12944:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13032:7;13015:6;;:25;;;;;;;;;;;;;;;;;;13056:22;13070:7;13056:22;;;;;;;;;;;;;;;;;;;;;;12878:208;:::o;9707:94::-;9747:4;9787:6;;;;;;;;;;;9771:22;;:12;:10;:12::i;:::-;:22;;;9764:29;;9707:94;:::o;11248:59::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;18154:101::-;18199:16;18240:7;18233:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18154:101;:::o;15856:278::-;15928:4;15945:10;15958:1;15945:14;;15975:6;15984:1;15975:10;;15970:134;15991:7;:14;;;;15987:1;:18;15970:134;;;16031:5;:20;16037:13;16031:20;;;;;;;;;;;:32;16052:7;16060:1;16052:10;;;;;;;;;;;;;;;;;;;;;;;;;16031:32;;;;;;;;;;;;;;;;;;;;;;;;;16027:65;;;16091:1;16082:10;;;;16027:65;16007:3;;;;;;;15970:134;;;;16121:5;16114:12;;;15856:278;;;:::o;11200:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;16284:139::-;16362:4;16391:9;:24;16401:13;16391:24;;;;;;;;;;;;;;;;;;;;;16384:31;;16284:139;;;:::o;18263:263::-;9553:9;:7;:9::i;:::-;9545:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18342:7;:14;;;;18358:9;12171:12;12158:9;:25;;:43;;;;;12200:1;12187:9;:14;;12158:43;:64;;;;;12221:1;12205:12;:17;;12158:64;12150:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18406:1;18393:9;:14;;18385:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18465:9;18454:8;:20;;;;18490:28;18508:9;18490:28;;;;;;;;;;;;;;;;;;9610:1;;18263:263;:::o;11314:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;16977:428::-;9553:9;:7;:9::i;:::-;9545:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11101:1;17059:26;;:10;:26;;;;17051:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17134:8;:20;17143:10;17134:20;;;;;;;;;;;;;;;;;;;;;;;;;17133:21;17125:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11044:2;17211:7;:14;;;;:33;17203:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17316:4;17293:8;:20;17302:10;17293:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;17331:7;17344:10;17331:24;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;17331:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17386:10;17371:26;;;;;;;;;;;;16977:428;:::o;13094:481::-;13409:4;13438:129;13455:20;13477:8;13487:6;13495;;13438:129;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;13438:129:0;;;;;;13503:9;13514:15;13531:8;13541;13551:11;13438:129;;;;;;;;;;;;:16;:129::i;:::-;13431:136;;13094:481;;;;;;;;;;;;:::o;11171:20::-;;;;:::o;11112:21::-;;;;;;;;;;;;;:::o;10447:109::-;9553:9;:7;:9::i;:::-;9545:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10520:28;10539:8;10520:18;:28::i;:::-;10447:109;:::o;8095:98::-;8140:15;8175:10;8168:17;;8095:98;:::o;14114:1734::-;14472:4;11944:8;:22;11953:12;:10;:12::i;:::-;11944:22;;;;;;;;;;;;;;;;;;;;;;;;;11936:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14534:21;14558:125;14575:20;14597:8;14607:6;14615;14623:9;14634:15;14651:8;14661;14671:11;14558:16;:125::i;:::-;14534:149;;14698:9;:24;14708:13;14698:24;;;;;;;;;;;;;;;;;;;;;14694:54;;;14744:4;14737:11;;;;;14694:54;14765:5;:20;14771:13;14765:20;;;;;;;;;;;:34;14786:12;:10;:12::i;:::-;14765:34;;;;;;;;;;;;;;;;;;;;;;;;;14761:64;;;14821:4;14814:11;;;;;14761:64;14875:4;14838:5;:20;14844:13;14838:20;;;;;;;;;;;:34;14859:12;:10;:12::i;:::-;14838:34;;;;;;;;;;;;;;;;:41;;;;;;;;;;;;;;;;;;15034:15;14960:13;14946:12;:10;:12::i;:::-;14940:143;;;14975:20;14997:8;15007:6;15015;15023:9;15051:8;15061;15071:11;14940:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;14940:143:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15096:21;15120:34;15140:13;15120:19;:34::i;:::-;15096:58;;15189:8;;15169:16;:28;;:74;;;;;15242:1;15238;15221:7;:14;;;;:18;;;;;;:22;15201:16;:42;;15169:74;15165:652;;;15287:4;15260:9;:24;15270:13;15260:24;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;15306:19;15328:6;;;;;;;;;;;:23;;;15370:20;15409:8;15436:6;15461;15486:9;15514:15;15548:8;15575;15602:11;15632:8;15328:327;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;15328:327: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;15328:327:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15328:327:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15328:327:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15328:327:0;;;;;;;;;;;;;;;;15306:349;;15678:14;15670:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15765:13;15756:23;;;;;;;;;;15801:4;15794:11;;;;;;;15165:652;15836:4;15829:11;;;;12016:1;14114:1734;;;;;;;;;;;;:::o;10662:229::-;10756:1;10736:22;;:8;:22;;;;10728:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10846:8;10817:38;;10838:6;;;;;;;;;;;10817:38;;;;;;;;;;;;10875:8;10866:6;;:17;;;;;;;;;;;;;;;;;;10662:229;:::o;10966:7565::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://92eb1e73ab2b98949a1d225e1f1801d74eec7b939aa49b16beeea39b8ee29158