Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
• library EnumerableSet
•    - function _add(Set storage set, bytes3 ...
•    - function _remove(Set storage set, byt ...
•    - function _contains(Set storage set, b ...
•    - function _length(Set storage set)
•    - function _at(Set storage set, uint256 ...
•    - function add(AddressSet storage set, ...
•    - function remove(AddressSet storage se ...
•    - function contains(AddressSet storage ...
•    - function length(AddressSet storage se ...
•    - function at(AddressSet storage set, u ...
•    - function add(UintSet storage set, uin ...
•    - function remove(UintSet storage set, ...
•    - function contains(UintSet storage set ...
•    - function length(UintSet storage set)
•    - function at(UintSet storage set, uint ...
•  contract Ownable
•    - function transferOwnership(address ne ...
• interface Token
•    - function transferFrom(address, addres ...
•    - function transfer(address, uint)
•  contract Staking is Ownable *
•    - function setRewardRatePercentX100(uin ...
•    - function updateAccount(address accoun ...
•    - function getPendingDivs(address _hold ...
•    - function getNumberOfHolders()
•    - function stake(uint amountToStake)
•    - function unstake(uint amountToWithdra ...
•    - function emergencyUnstake(uint amount ...
•    - function claim()
•    - function getStakersList(uint startInd ...
•    - function transferAnyERC20Tokens(addre ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity 0.6.11;

// SPDX-License-Identifier: BSD-3-Clause

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

/**
 * @dev Library for managing
 * https://en.wikipedia.org/wiki/Set_(abstract_data_type)[sets] of primitive
 * types.
 *
 * Sets have the following properties:
 *
 * - Elements are added, removed, and checked for existence in constant time
 * (O(1)).
 * - Elements are enumerated in O(n). No guarantees are made on the ordering.
 *
 * ```
 * contract Example {
 *     // Add the library methods
 *     using EnumerableSet for EnumerableSet.AddressSet;
 *
 *     // Declare a set state variable
 *     EnumerableSet.AddressSet private mySet;
 * }
 * ```
 *
 * As of v3.0.0, only sets of type `address` (`AddressSet`) and `uint256`
 * (`UintSet`) are supported.
 */
library EnumerableSet {
    // To implement this library for multiple types with as little code
    // repetition as possible, we write it in terms of a generic Set type with
    // bytes32 values.
    // The Set implementation uses private functions, and user-facing
    // implementations (such as AddressSet) are just wrappers around the
    // underlying Set.
    // This means that we can only create new EnumerableSets for types that fit
    // in bytes32.

    struct Set {
        // Storage of set values
        bytes32[] _values;

        // Position of the value in the `values` array, plus 1 because index 0
        // means a value is not in the set.
        mapping (bytes32 => uint256) _indexes;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function _add(Set storage set, bytes32 value) private returns (bool) {
        if (!_contains(set, value)) {
            set._values.push(value);
            // The value is stored at length-1, but we add 1 to all indexes
            // and use 0 as a sentinel value
            set._indexes[value] = set._values.length;
            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function _remove(Set storage set, bytes32 value) private returns (bool) {
        // We read and store the value's index to prevent multiple reads from the same storage slot
        uint256 valueIndex = set._indexes[value];

        if (valueIndex != 0) { // Equivalent to contains(set, value)
            // To delete an element from the _values array in O(1), we swap the element to delete with the last one in
            // the array, and then remove the last element (sometimes called as 'swap and pop').
            // This modifies the order of the array, as noted in {at}.

            uint256 toDeleteIndex = valueIndex - 1;
            uint256 lastIndex = set._values.length - 1;

            // When the value to delete is the last one, the swap operation is unnecessary. However, since this occurs
            // so rarely, we still do the swap anyway to avoid the gas cost of adding an 'if' statement.

            bytes32 lastvalue = set._values[lastIndex];

            // Move the last value to the index where the value to delete is
            set._values[toDeleteIndex] = lastvalue;
            // Update the index for the moved value
            set._indexes[lastvalue] = toDeleteIndex + 1; // All indexes are 1-based

            // Delete the slot where the moved value was stored
            set._values.pop();

            // Delete the index for the deleted slot
            delete set._indexes[value];

            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function _contains(Set storage set, bytes32 value) private view returns (bool) {
        return set._indexes[value] != 0;
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function _length(Set storage set) private view returns (uint256) {
        return set._values.length;
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function _at(Set storage set, uint256 index) private view returns (bytes32) {
        require(set._values.length > index, "EnumerableSet: index out of bounds");
        return set._values[index];
    }

    // AddressSet

    struct AddressSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(AddressSet storage set, address value) internal returns (bool) {
        return _add(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(AddressSet storage set, address value) internal returns (bool) {
        return _remove(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(AddressSet storage set, address value) internal view returns (bool) {
        return _contains(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Returns the number of values in the set. O(1).
     */
    function length(AddressSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(AddressSet storage set, uint256 index) internal view returns (address) {
        return address(uint256(_at(set._inner, index)));
    }


    // UintSet

    struct UintSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(UintSet storage set, uint256 value) internal returns (bool) {
        return _add(set._inner, bytes32(value));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(UintSet storage set, uint256 value) internal returns (bool) {
        return _remove(set._inner, bytes32(value));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(UintSet storage set, uint256 value) internal view returns (bool) {
        return _contains(set._inner, bytes32(value));
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function length(UintSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(UintSet storage set, uint256 index) internal view returns (uint256) {
        return uint256(_at(set._inner, index));
    }
}

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
  address public owner;


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


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  constructor() public {
    owner = msg.sender;
  }


  /**
   * @dev Throws if called by any account other than the owner.
   */
  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }


  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param newOwner The address to transfer ownership to.
   */
  function transferOwnership(address newOwner) onlyOwner public {
    require(newOwner != address(0));
    emit OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }
}

interface Token {
    function transferFrom(address, address, uint) external returns (bool);
    function transfer(address, uint) external returns (bool);
}

contract Staking is Ownable {
    using SafeMath for uint;
    using EnumerableSet for EnumerableSet.AddressSet;
    
    event RewardsTransferred(address holder, uint amount);
    
    // trusted staking token contract address
    address public constant trustedStakeTokenAddress = 0x178f1A72172A99F7F44E125dE6413eA808713E7C;
    // trusted reward token contract address
    address public constant trustedRewardTokenAddress = 0xE1c7E30C42C24582888C758984f6e382096786bd;
    
    // reward rate per year
    uint public rewardRatePercentX100 = 1613e6;

    // lockup period
    uint public constant cliffTime = 24 hours;

    uint public constant rewardInterval = 365 days;
    
    uint public totalClaimedRewards = 0;
    
    uint public stakingDuration = 365 days;
    
    // admin can transfer out reward tokens from this contract one month after staking has ended
    uint public adminCanClaimAfter = 395 days;
    
    uint public stakingDeployTime;
    uint public adminClaimableTime;
    uint public stakingEndTime;
    
    EnumerableSet.AddressSet private holders;
    
    mapping (address => uint) public depositedTokens;
    mapping (address => uint) public stakingTime;
    mapping (address => uint) public lastClaimedTime;
    mapping (address => uint) public totalEarnedTokens;
    
    constructor () public {
        stakingDeployTime = now;
        stakingEndTime = stakingDeployTime.add(stakingDuration);
        adminClaimableTime = stakingDeployTime.add(adminCanClaimAfter);
    }
    
    // Admin can change APY% (or reward rate %)
    // Changing reward rate percent will also affect user's pending earnings
    // Be careful while using this function
    function setRewardRatePercentX100(uint _rewardRatePercentX100) public onlyOwner {
        rewardRatePercentX100 = _rewardRatePercentX100;
    }
    
    function updateAccount(address account) private {
        uint pendingDivs = getPendingDivs(account);
        if (pendingDivs > 0) {
            require(Token(trustedRewardTokenAddress).transfer(account, pendingDivs), "Could not transfer tokens.");
            totalEarnedTokens[account] = totalEarnedTokens[account].add(pendingDivs);
            totalClaimedRewards = totalClaimedRewards.add(pendingDivs);
            emit RewardsTransferred(account, pendingDivs);
        }
        lastClaimedTime[account] = now;
    }
    
    function getPendingDivs(address _holder) public view returns (uint) {
        if (!holders.contains(_holder)) return 0;
        if (depositedTokens[_holder] == 0) return 0;
        
        uint timeDiff;
        uint _now = now;
        if (_now > stakingEndTime) {
            _now = stakingEndTime;
        }
        
        if (lastClaimedTime[_holder] >= _now) {
            timeDiff = 0;
        } else {
            timeDiff = _now.sub(lastClaimedTime[_holder]);
        }

        uint stakedAmount = depositedTokens[_holder];
        
        uint pendingDivs = stakedAmount
                            .mul(rewardRatePercentX100)
                            .mul(timeDiff)
                            .div(rewardInterval)
                            .div(1e4)
                            .div(10**10);
            
        return pendingDivs;
    }
    
    function getNumberOfHolders() public view returns (uint) {
        return holders.length();
    }
    
    
    function stake(uint amountToStake) public {
        require(amountToStake > 0, "Cannot stake 0 Tokens");
        require(Token(trustedStakeTokenAddress).transferFrom(msg.sender, address(this), amountToStake), "Insufficient Token Allowance");
        
        updateAccount(msg.sender);
        
        depositedTokens[msg.sender] = depositedTokens[msg.sender].add(amountToStake);
        
        if (!holders.contains(msg.sender)) {
            holders.add(msg.sender);
            stakingTime[msg.sender] = now;
        }
    }
    
    function unstake(uint amountToWithdraw) public {
        require(amountToWithdraw > 0, "Cannot unstake 0 Tokens");
        require(depositedTokens[msg.sender] >= amountToWithdraw, "Invalid amount to withdraw");
        require(now.sub(stakingTime[msg.sender]) > cliffTime, "You recently staked, please wait before withdrawing.");

        updateAccount(msg.sender);
 
        require(Token(trustedStakeTokenAddress).transfer(msg.sender, amountToWithdraw), "Could not transfer tokens.");
        
        depositedTokens[msg.sender] = depositedTokens[msg.sender].sub(amountToWithdraw);
        
        if (holders.contains(msg.sender) && depositedTokens[msg.sender] == 0) {
            holders.remove(msg.sender);
        }
    }
    
    // emergency unstake without caring about pending earnings
    // pending earnings will be lost / set to 0 if used emergency unstake
    function emergencyUnstake(uint amountToWithdraw) public {
        require(amountToWithdraw > 0, "Cannot unstake 0 Tokens");
        require(depositedTokens[msg.sender] >= amountToWithdraw, "Invalid amount to withdraw");
        require(now.sub(stakingTime[msg.sender]) > cliffTime, "You recently staked, please wait before withdrawing.");

        // set pending earnings to 0 here
        lastClaimedTime[msg.sender] = now;
        
        require(Token(trustedStakeTokenAddress).transfer(msg.sender, amountToWithdraw), "Could not transfer tokens.");
        
        depositedTokens[msg.sender] = depositedTokens[msg.sender].sub(amountToWithdraw);
        
        if (holders.contains(msg.sender) && depositedTokens[msg.sender] == 0) {
            holders.remove(msg.sender);
        }
    }
    
    function claim() public {
        updateAccount(msg.sender);
    }
    
    function getStakersList(uint startIndex, uint endIndex) 
        public 
        view 
        returns (address[] memory stakers, 
            uint[] memory stakingTimestamps, 
            uint[] memory lastClaimedTimeStamps,
            uint[] memory stakedTokens) {
        require (startIndex < endIndex);
        
        uint length = endIndex.sub(startIndex);
        address[] memory _stakers = new address[](length);
        uint[] memory _stakingTimestamps = new uint[](length);
        uint[] memory _lastClaimedTimeStamps = new uint[](length);
        uint[] memory _stakedTokens = new uint[](length);
        
        for (uint i = startIndex; i < endIndex; i = i.add(1)) {
            address staker = holders.at(i);
            uint listIndex = i.sub(startIndex);
            _stakers[listIndex] = staker;
            _stakingTimestamps[listIndex] = stakingTime[staker];
            _lastClaimedTimeStamps[listIndex] = lastClaimedTime[staker];
            _stakedTokens[listIndex] = depositedTokens[staker];
        }
        
        return (_stakers, _stakingTimestamps, _lastClaimedTimeStamps, _stakedTokens);
    }

    // function to allow admin to claim *other* ERC20 tokens sent to this contract (by mistake)
    // Admin cannot transfer out staking tokens from this smart contract
    // Admin can transfer out reward tokens from this address once adminClaimableTime has reached
    function transferAnyERC20Tokens(address _tokenAddr, address _to, uint _amount) public onlyOwner {
        require(_tokenAddr != trustedStakeTokenAddress, "Admin cannot transfer out Stake Tokens from this contract!");
        
        require((_tokenAddr != trustedRewardTokenAddress) || (now > adminClaimableTime), "Admin cannot Transfer out Reward Tokens yet!");
        
        Token(_tokenAddr).transfer(_to, _amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"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":"address","name":"holder","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"RewardsTransferred","type":"event"},{"inputs":[],"name":"adminCanClaimAfter","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"adminClaimableTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"cliffTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"depositedTokens","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountToWithdraw","type":"uint256"}],"name":"emergencyUnstake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getNumberOfHolders","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_holder","type":"address"}],"name":"getPendingDivs","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"startIndex","type":"uint256"},{"internalType":"uint256","name":"endIndex","type":"uint256"}],"name":"getStakersList","outputs":[{"internalType":"address[]","name":"stakers","type":"address[]"},{"internalType":"uint256[]","name":"stakingTimestamps","type":"uint256[]"},{"internalType":"uint256[]","name":"lastClaimedTimeStamps","type":"uint256[]"},{"internalType":"uint256[]","name":"stakedTokens","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lastClaimedTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"rewardInterval","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"rewardRatePercentX100","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_rewardRatePercentX100","type":"uint256"}],"name":"setRewardRatePercentX100","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountToStake","type":"uint256"}],"name":"stake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"stakingDeployTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"stakingDuration","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"stakingEndTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"stakingTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalClaimedRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"totalEarnedTokens","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transferAnyERC20Tokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"trustedRewardTokenAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"trustedStakeTokenAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amountToWithdraw","type":"uint256"}],"name":"unstake","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526360246d4060015560006002556301e13380600355630208c0806004553480156200002e57600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055504260058190555062000094600354600554620000c460201b62001e031790919060201c565b600781905550620000b8600454600554620000c460201b62001e031790919060201c565b600681905550620000e1565b600080828401905083811015620000d757fe5b8091505092915050565b61250080620000f16000396000f3fe608060405234801561001057600080fd5b506004361061018e5760003560e01c8063965554b4116100de578063c326bf4f11610097578063d7130e1411610071578063d7130e1414610746578063f1af9e1114610764578063f2fde38b14610792578063f3f91fa0146107d65761018e565b8063c326bf4f146106b2578063ca7e08351461070a578063d578ceab146107285761018e565b8063965554b41461058857806398896d10146105a65780639dcf4b28146105fe578063a694fc3a14610648578063b410fdaa14610676578063bec4de3f146106945761018e565b80634e71d92d1161014b5780636a395ccb116101255780636a395ccb146104945780638005a7de146105025780638ac33487146105205780638da5cb5b1461053e5761018e565b80634e71d92d146103da578063583d42fd146103e45780636270cd181461043c5761018e565b8063012ce501146101935780630f1a6444146101c15780631911cf4a146101df5780632e17de7814610344578063308feec31461037257806331a5dda114610390575b600080fd5b6101bf600480360360208110156101a957600080fd5b810190808035906020019092919050505061082e565b005b6101c9610ca3565b6040518082815260200191505060405180910390f35b610215600480360360408110156101f557600080fd5b810190808035906020019092919080359060200190929190505050610caa565b6040518080602001806020018060200180602001858103855289818151815260200191508051906020019060200280838360005b83811015610264578082015181840152602081019050610249565b50505050905001858103845288818151815260200191508051906020019060200280838360005b838110156102a657808201518184015260208101905061028b565b50505050905001858103835287818151815260200191508051906020019060200280838360005b838110156102e85780820151818401526020810190506102cd565b50505050905001858103825286818151815260200191508051906020019060200280838360005b8381101561032a57808201518184015260208101905061030f565b505050509050019850505050505050505060405180910390f35b6103706004803603602081101561035a57600080fd5b8101908080359060200190929190505050610fc3565b005b61037a6113fd565b6040518082815260200191505060405180910390f35b61039861140e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103e2611426565b005b610426600480360360208110156103fa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611431565b6040518082815260200191505060405180910390f35b61047e6004803603602081101561045257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611449565b6040518082815260200191505060405180910390f35b610500600480360360608110156104aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611461565b005b61050a6116c0565b6040518082815260200191505060405180910390f35b6105286116c6565b6040518082815260200191505060405180910390f35b6105466116cc565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105906116f1565b6040518082815260200191505060405180910390f35b6105e8600480360360208110156105bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116f7565b6040518082815260200191505060405180910390f35b6106066118e2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106746004803603602081101561065e57600080fd5b81019080803590602001909291905050506118fa565b005b61067e611bff565b6040518082815260200191505060405180910390f35b61069c611c05565b6040518082815260200191505060405180910390f35b6106f4600480360360208110156106c857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c0d565b6040518082815260200191505060405180910390f35b610712611c25565b6040518082815260200191505060405180910390f35b610730611c2b565b6040518082815260200191505060405180910390f35b61074e611c31565b6040518082815260200191505060405180910390f35b6107906004803603602081101561077a57600080fd5b8101908080359060200190929190505050611c37565b005b6107d4600480360360208110156107a857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c9a565b005b610818600480360360208110156107ec57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611deb565b6040518082815260200191505060405180910390f35b600081116108a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f43616e6e6f7420756e7374616b65203020546f6b656e7300000000000000000081525060200191505060405180910390fd5b80600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610959576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f496e76616c696420616d6f756e7420746f20776974686472617700000000000081525060200191505060405180910390fd5b620151806109af600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205442611e1f90919063ffffffff16565b11610a05576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603481526020018061246b6034913960400191505060405180910390fd5b42600c60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555073178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610ae457600080fd5b505af1158015610af8573d6000803e3d6000fd5b505050506040513d6020811015610b0e57600080fd5b8101908080519060200190929190505050610b91576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f436f756c64206e6f74207472616e7366657220746f6b656e732e00000000000081525060200191505060405180910390fd5b610be381600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e1f90919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c3a336008611e3690919063ffffffff16565b8015610c8557506000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b15610ca057610c9e336008611e6690919063ffffffff16565b505b50565b6201518081565b606080606080848610610cbc57600080fd5b6000610cd18787611e1f90919063ffffffff16565b905060608167ffffffffffffffff81118015610cec57600080fd5b50604051908082528060200260200182016040528015610d1b5781602001602082028036833780820191505090505b50905060608267ffffffffffffffff81118015610d3757600080fd5b50604051908082528060200260200182016040528015610d665781602001602082028036833780820191505090505b50905060608367ffffffffffffffff81118015610d8257600080fd5b50604051908082528060200260200182016040528015610db15781602001602082028036833780820191505090505b50905060608467ffffffffffffffff81118015610dcd57600080fd5b50604051908082528060200260200182016040528015610dfc5781602001602082028036833780820191505090505b50905060008b90505b8a811015610fa8576000610e23826008611e9690919063ffffffff16565b90506000610e3a8e84611e1f90919063ffffffff16565b905081878281518110610e4957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054868281518110610ecf57fe5b602002602001018181525050600c60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054858281518110610f2757fe5b602002602001018181525050600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054848281518110610f7f57fe5b6020026020010181815250505050610fa1600182611e0390919063ffffffff16565b9050610e05565b50838383839850985098509850505050505092959194509250565b60008111611039576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f43616e6e6f7420756e7374616b65203020546f6b656e7300000000000000000081525060200191505060405180910390fd5b80600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156110ee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f496e76616c696420616d6f756e7420746f20776974686472617700000000000081525060200191505060405180910390fd5b62015180611144600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205442611e1f90919063ffffffff16565b1161119a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603481526020018061246b6034913960400191505060405180910390fd5b6111a333611eb0565b73178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561123e57600080fd5b505af1158015611252573d6000803e3d6000fd5b505050506040513d602081101561126857600080fd5b81019080805190602001909291905050506112eb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f436f756c64206e6f74207472616e7366657220746f6b656e732e00000000000081525060200191505060405180910390fd5b61133d81600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e1f90919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611394336008611e3690919063ffffffff16565b80156113df57506000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b156113fa576113f8336008611e6690919063ffffffff16565b505b50565b60006114096008612172565b905090565b73e1c7e30c42c24582888c758984f6e382096786bd81565b61142f33611eb0565b565b600b6020528060005260406000206000915090505481565b600d6020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114ba57600080fd5b73178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611553576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603a815260200180612431603a913960400191505060405180910390fd5b73e1c7e30c42c24582888c758984f6e382096786bd73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415806115a3575060065442115b6115f8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061249f602c913960400191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561167f57600080fd5b505af1158015611693573d6000803e3d6000fd5b505050506040513d60208110156116a957600080fd5b810190808051906020019092919050505050505050565b60035481565b60075481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b600061170d826008611e3690919063ffffffff16565b61171a57600090506118dd565b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561176b57600090506118dd565b6000804290506007548111156117815760075490505b80600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054106117d05760009150611825565b611822600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611e1f90919063ffffffff16565b91505b6000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060006118d36402540be4006118c56127106118b76301e133806118a98a61189b6001548b61218790919063ffffffff16565b61218790919063ffffffff16565b6121b690919063ffffffff16565b6121b690919063ffffffff16565b6121b690919063ffffffff16565b9050809450505050505b919050565b73178f1a72172a99f7f44e125de6413ea808713e7c81565b60008111611970576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f43616e6e6f74207374616b65203020546f6b656e73000000000000000000000081525060200191505060405180910390fd5b73178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611a3f57600080fd5b505af1158015611a53573d6000803e3d6000fd5b505050506040513d6020811015611a6957600080fd5b8101908080519060200190929190505050611aec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f496e73756666696369656e7420546f6b656e20416c6c6f77616e63650000000081525060200191505060405180910390fd5b611af533611eb0565b611b4781600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0390919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b9e336008611e3690919063ffffffff16565b611bfc57611bb63360086121cf90919063ffffffff16565b5042600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50565b60015481565b6301e1338081565b600a6020528060005260406000206000915090505481565b60065481565b60025481565b60045481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611c9057600080fd5b8060018190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611cf357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611d2d57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600c6020528060005260406000206000915090505481565b600080828401905083811015611e1557fe5b8091505092915050565b600082821115611e2b57fe5b818303905092915050565b6000611e5e836000018373ffffffffffffffffffffffffffffffffffffffff1660001b6121ff565b905092915050565b6000611e8e836000018373ffffffffffffffffffffffffffffffffffffffff1660001b612222565b905092915050565b6000611ea5836000018361230a565b60001c905092915050565b6000611ebb826116f7565b9050600081111561212a5773e1c7e30c42c24582888c758984f6e382096786bd73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611f6157600080fd5b505af1158015611f75573d6000803e3d6000fd5b505050506040513d6020811015611f8b57600080fd5b810190808051906020019092919050505061200e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f436f756c64206e6f74207472616e7366657220746f6b656e732e00000000000081525060200191505060405180910390fd5b61206081600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0390919063ffffffff16565b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120b881600254611e0390919063ffffffff16565b6002819055507f586b2e63a21a7a4e1402e36f48ce10cb1ec94684fea254c186b76d1f98ecf1308282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b42600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b60006121808260000161238d565b9050919050565b600080828402905060008414806121a65750828482816121a357fe5b04145b6121ac57fe5b8091505092915050565b6000808284816121c257fe5b0490508091505092915050565b60006121f7836000018373ffffffffffffffffffffffffffffffffffffffff1660001b61239e565b905092915050565b600080836001016000848152602001908152602001600020541415905092915050565b600080836001016000848152602001908152602001600020549050600081146122fe576000600182039050600060018660000180549050039050600086600001828154811061226d57fe5b906000526020600020015490508087600001848154811061228a57fe5b90600052602060002001819055506001830187600101600083815260200190815260200160002081905550866000018054806122c257fe5b60019003818190600052602060002001600090559055866001016000878152602001908152602001600020600090556001945050505050612304565b60009150505b92915050565b60008183600001805490501161236b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061240f6022913960400191505060405180910390fd5b82600001828154811061237a57fe5b9060005260206000200154905092915050565b600081600001805490509050919050565b60006123aa83836121ff565b612403578260000182908060018154018082558091505060019003906000526020600020016000909190919091505582600001805490508360010160008481526020019081526020016000208190555060019050612408565b600090505b9291505056fe456e756d657261626c655365743a20696e646578206f7574206f6620626f756e647341646d696e2063616e6e6f74207472616e73666572206f7574205374616b6520546f6b656e732066726f6d207468697320636f6e747261637421596f7520726563656e746c79207374616b65642c20706c656173652077616974206265666f7265207769746864726177696e672e41646d696e2063616e6e6f74205472616e73666572206f75742052657761726420546f6b656e732079657421a2646970667358221220f58a885e5d004eb49156b48d2d9d0fe747250b82d19b59029b4edbb7a38f8e9264736f6c634300060b0033

0x608060405234801561001057600080fd5b506004361061018e5760003560e01c8063965554b4116100de578063c326bf4f11610097578063d7130e1411610071578063d7130e1414610746578063f1af9e1114610764578063f2fde38b14610792578063f3f91fa0146107d65761018e565b8063c326bf4f146106b2578063ca7e08351461070a578063d578ceab146107285761018e565b8063965554b41461058857806398896d10146105a65780639dcf4b28146105fe578063a694fc3a14610648578063b410fdaa14610676578063bec4de3f146106945761018e565b80634e71d92d1161014b5780636a395ccb116101255780636a395ccb146104945780638005a7de146105025780638ac33487146105205780638da5cb5b1461053e5761018e565b80634e71d92d146103da578063583d42fd146103e45780636270cd181461043c5761018e565b8063012ce501146101935780630f1a6444146101c15780631911cf4a146101df5780632e17de7814610344578063308feec31461037257806331a5dda114610390575b600080fd5b6101bf600480360360208110156101a957600080fd5b810190808035906020019092919050505061082e565b005b6101c9610ca3565b6040518082815260200191505060405180910390f35b610215600480360360408110156101f557600080fd5b810190808035906020019092919080359060200190929190505050610caa565b6040518080602001806020018060200180602001858103855289818151815260200191508051906020019060200280838360005b83811015610264578082015181840152602081019050610249565b50505050905001858103845288818151815260200191508051906020019060200280838360005b838110156102a657808201518184015260208101905061028b565b50505050905001858103835287818151815260200191508051906020019060200280838360005b838110156102e85780820151818401526020810190506102cd565b50505050905001858103825286818151815260200191508051906020019060200280838360005b8381101561032a57808201518184015260208101905061030f565b505050509050019850505050505050505060405180910390f35b6103706004803603602081101561035a57600080fd5b8101908080359060200190929190505050610fc3565b005b61037a6113fd565b6040518082815260200191505060405180910390f35b61039861140e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103e2611426565b005b610426600480360360208110156103fa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611431565b6040518082815260200191505060405180910390f35b61047e6004803603602081101561045257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611449565b6040518082815260200191505060405180910390f35b610500600480360360608110156104aa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611461565b005b61050a6116c0565b6040518082815260200191505060405180910390f35b6105286116c6565b6040518082815260200191505060405180910390f35b6105466116cc565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105906116f1565b6040518082815260200191505060405180910390f35b6105e8600480360360208110156105bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116f7565b6040518082815260200191505060405180910390f35b6106066118e2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106746004803603602081101561065e57600080fd5b81019080803590602001909291905050506118fa565b005b61067e611bff565b6040518082815260200191505060405180910390f35b61069c611c05565b6040518082815260200191505060405180910390f35b6106f4600480360360208110156106c857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c0d565b6040518082815260200191505060405180910390f35b610712611c25565b6040518082815260200191505060405180910390f35b610730611c2b565b6040518082815260200191505060405180910390f35b61074e611c31565b6040518082815260200191505060405180910390f35b6107906004803603602081101561077a57600080fd5b8101908080359060200190929190505050611c37565b005b6107d4600480360360208110156107a857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c9a565b005b610818600480360360208110156107ec57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611deb565b6040518082815260200191505060405180910390f35b600081116108a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f43616e6e6f7420756e7374616b65203020546f6b656e7300000000000000000081525060200191505060405180910390fd5b80600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610959576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f496e76616c696420616d6f756e7420746f20776974686472617700000000000081525060200191505060405180910390fd5b620151806109af600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205442611e1f90919063ffffffff16565b11610a05576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603481526020018061246b6034913960400191505060405180910390fd5b42600c60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555073178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610ae457600080fd5b505af1158015610af8573d6000803e3d6000fd5b505050506040513d6020811015610b0e57600080fd5b8101908080519060200190929190505050610b91576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f436f756c64206e6f74207472616e7366657220746f6b656e732e00000000000081525060200191505060405180910390fd5b610be381600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e1f90919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c3a336008611e3690919063ffffffff16565b8015610c8557506000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b15610ca057610c9e336008611e6690919063ffffffff16565b505b50565b6201518081565b606080606080848610610cbc57600080fd5b6000610cd18787611e1f90919063ffffffff16565b905060608167ffffffffffffffff81118015610cec57600080fd5b50604051908082528060200260200182016040528015610d1b5781602001602082028036833780820191505090505b50905060608267ffffffffffffffff81118015610d3757600080fd5b50604051908082528060200260200182016040528015610d665781602001602082028036833780820191505090505b50905060608367ffffffffffffffff81118015610d8257600080fd5b50604051908082528060200260200182016040528015610db15781602001602082028036833780820191505090505b50905060608467ffffffffffffffff81118015610dcd57600080fd5b50604051908082528060200260200182016040528015610dfc5781602001602082028036833780820191505090505b50905060008b90505b8a811015610fa8576000610e23826008611e9690919063ffffffff16565b90506000610e3a8e84611e1f90919063ffffffff16565b905081878281518110610e4957fe5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054868281518110610ecf57fe5b602002602001018181525050600c60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054858281518110610f2757fe5b602002602001018181525050600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054848281518110610f7f57fe5b6020026020010181815250505050610fa1600182611e0390919063ffffffff16565b9050610e05565b50838383839850985098509850505050505092959194509250565b60008111611039576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f43616e6e6f7420756e7374616b65203020546f6b656e7300000000000000000081525060200191505060405180910390fd5b80600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156110ee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f496e76616c696420616d6f756e7420746f20776974686472617700000000000081525060200191505060405180910390fd5b62015180611144600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205442611e1f90919063ffffffff16565b1161119a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603481526020018061246b6034913960400191505060405180910390fd5b6111a333611eb0565b73178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561123e57600080fd5b505af1158015611252573d6000803e3d6000fd5b505050506040513d602081101561126857600080fd5b81019080805190602001909291905050506112eb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f436f756c64206e6f74207472616e7366657220746f6b656e732e00000000000081525060200191505060405180910390fd5b61133d81600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e1f90919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611394336008611e3690919063ffffffff16565b80156113df57506000600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b156113fa576113f8336008611e6690919063ffffffff16565b505b50565b60006114096008612172565b905090565b73e1c7e30c42c24582888c758984f6e382096786bd81565b61142f33611eb0565b565b600b6020528060005260406000206000915090505481565b600d6020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146114ba57600080fd5b73178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611553576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603a815260200180612431603a913960400191505060405180910390fd5b73e1c7e30c42c24582888c758984f6e382096786bd73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415806115a3575060065442115b6115f8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061249f602c913960400191505060405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561167f57600080fd5b505af1158015611693573d6000803e3d6000fd5b505050506040513d60208110156116a957600080fd5b810190808051906020019092919050505050505050565b60035481565b60075481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b600061170d826008611e3690919063ffffffff16565b61171a57600090506118dd565b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561176b57600090506118dd565b6000804290506007548111156117815760075490505b80600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054106117d05760009150611825565b611822600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611e1f90919063ffffffff16565b91505b6000600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060006118d36402540be4006118c56127106118b76301e133806118a98a61189b6001548b61218790919063ffffffff16565b61218790919063ffffffff16565b6121b690919063ffffffff16565b6121b690919063ffffffff16565b6121b690919063ffffffff16565b9050809450505050505b919050565b73178f1a72172a99f7f44e125de6413ea808713e7c81565b60008111611970576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f43616e6e6f74207374616b65203020546f6b656e73000000000000000000000081525060200191505060405180910390fd5b73178f1a72172a99f7f44e125de6413ea808713e7c73ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611a3f57600080fd5b505af1158015611a53573d6000803e3d6000fd5b505050506040513d6020811015611a6957600080fd5b8101908080519060200190929190505050611aec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f496e73756666696369656e7420546f6b656e20416c6c6f77616e63650000000081525060200191505060405180910390fd5b611af533611eb0565b611b4781600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0390919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b9e336008611e3690919063ffffffff16565b611bfc57611bb63360086121cf90919063ffffffff16565b5042600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50565b60015481565b6301e1338081565b600a6020528060005260406000206000915090505481565b60065481565b60025481565b60045481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611c9057600080fd5b8060018190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611cf357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611d2d57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600c6020528060005260406000206000915090505481565b600080828401905083811015611e1557fe5b8091505092915050565b600082821115611e2b57fe5b818303905092915050565b6000611e5e836000018373ffffffffffffffffffffffffffffffffffffffff1660001b6121ff565b905092915050565b6000611e8e836000018373ffffffffffffffffffffffffffffffffffffffff1660001b612222565b905092915050565b6000611ea5836000018361230a565b60001c905092915050565b6000611ebb826116f7565b9050600081111561212a5773e1c7e30c42c24582888c758984f6e382096786bd73ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015611f6157600080fd5b505af1158015611f75573d6000803e3d6000fd5b505050506040513d6020811015611f8b57600080fd5b810190808051906020019092919050505061200e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f436f756c64206e6f74207472616e7366657220746f6b656e732e00000000000081525060200191505060405180910390fd5b61206081600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0390919063ffffffff16565b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120b881600254611e0390919063ffffffff16565b6002819055507f586b2e63a21a7a4e1402e36f48ce10cb1ec94684fea254c186b76d1f98ecf1308282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15b42600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505050565b60006121808260000161238d565b9050919050565b600080828402905060008414806121a65750828482816121a357fe5b04145b6121ac57fe5b8091505092915050565b6000808284816121c257fe5b0490508091505092915050565b60006121f7836000018373ffffffffffffffffffffffffffffffffffffffff1660001b61239e565b905092915050565b600080836001016000848152602001908152602001600020541415905092915050565b600080836001016000848152602001908152602001600020549050600081146122fe576000600182039050600060018660000180549050039050600086600001828154811061226d57fe5b906000526020600020015490508087600001848154811061228a57fe5b90600052602060002001819055506001830187600101600083815260200190815260200160002081905550866000018054806122c257fe5b60019003818190600052602060002001600090559055866001016000878152602001908152602001600020600090556001945050505050612304565b60009150505b92915050565b60008183600001805490501161236b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061240f6022913960400191505060405180910390fd5b82600001828154811061237a57fe5b9060005260206000200154905092915050565b600081600001805490509050919050565b60006123aa83836121ff565b612403578260000182908060018154018082558091505060019003906000526020600020016000909190919091505582600001805490508360010160008481526020019081526020016000208190555060019050612408565b600090505b9291505056fe456e756d657261626c655365743a20696e646578206f7574206f6620626f756e647341646d696e2063616e6e6f74207472616e73666572206f7574205374616b6520546f6b656e732066726f6d207468697320636f6e747261637421596f7520726563656e746c79207374616b65642c20706c656173652077616974206265666f7265207769746864726177696e672e41646d696e2063616e6e6f74205472616e73666572206f75742052657761726420546f6b656e732079657421a2646970667358221220f58a885e5d004eb49156b48d2d9d0fe747250b82d19b59029b4edbb7a38f8e9264736f6c634300060b0033

10029:7665:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14920:810;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10623:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15822:1157;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14026:743;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13355:99;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10414:94;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15742:68;;;:::i;:::-;;11203:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11309:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17257:434;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10780:38;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11056:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9062:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10983:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12458:885;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10268:93;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13472:542;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10550:42;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10673:46;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11148:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11019:30;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10732:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10929:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11759:145;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9681:178;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11254:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14920:810;15014:1;14995:16;:20;14987:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15093:16;15062:15;:27;15078:10;15062:27;;;;;;;;;;;;;;;;:47;;15054:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10656:8;15159:32;15167:11;:23;15179:10;15167:23;;;;;;;;;;;;;;;;15159:3;:7;;:32;;;;:::i;:::-;:44;15151:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15346:3;15316:15;:27;15332:10;15316:27;;;;;;;;;;;;;;;:33;;;;10319:42;15378:40;;;15419:10;15431:16;15378:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15370:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15530:49;15562:16;15530:15;:27;15546:10;15530:27;;;;;;;;;;;;;;;;:31;;:49;;;;:::i;:::-;15500:15;:27;15516:10;15500:27;;;;;;;;;;;;;;;:79;;;;15604:28;15621:10;15604:7;:16;;:28;;;;:::i;:::-;:64;;;;;15667:1;15636:15;:27;15652:10;15636:27;;;;;;;;;;;;;;;;:32;15604:64;15600:123;;;15685:26;15700:10;15685:7;:14;;:26;;;;:::i;:::-;;15600:123;14920:810;:::o;10623:41::-;10656:8;10623:41;:::o;15822:1157::-;15929:24;15969:31;16016:35;16066:26;16127:8;16114:10;:21;16105:31;;;;;;16157:11;16171:24;16184:10;16171:8;:12;;:24;;;;:::i;:::-;16157:38;;16206:25;16248:6;16234:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16206:49;;16266:32;16312:6;16301:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16266:53;;16330:36;16380:6;16369:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16330:57;;16398:27;16439:6;16428:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16398:48;;16472:6;16481:10;16472:19;;16467:408;16497:8;16493:1;:12;16467:408;;;16536:14;16553:13;16564:1;16553:7;:10;;:13;;;;:::i;:::-;16536:30;;16581:14;16598:17;16604:10;16598:1;:5;;:17;;;;:::i;:::-;16581:34;;16652:6;16630:8;16639:9;16630:19;;;;;;;;;;;;;:28;;;;;;;;;;;16705:11;:19;16717:6;16705:19;;;;;;;;;;;;;;;;16673:18;16692:9;16673:29;;;;;;;;;;;;;:51;;;;;16775:15;:23;16791:6;16775:23;;;;;;;;;;;;;;;;16739:22;16762:9;16739:33;;;;;;;;;;;;;:59;;;;;16840:15;:23;16856:6;16840:23;;;;;;;;;;;;;;;;16813:13;16827:9;16813:24;;;;;;;;;;;;;:50;;;;;16467:408;;16511:8;16517:1;16511;:5;;:8;;;;:::i;:::-;16507:12;;16467:408;;;;16903:8;16913:18;16933:22;16957:13;16895:76;;;;;;;;;;;;;15822:1157;;;;;;;:::o;14026:743::-;14111:1;14092:16;:20;14084:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14190:16;14159:15;:27;14175:10;14159:27;;;;;;;;;;;;;;;;:47;;14151:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10656:8;14256:32;14264:11;:23;14276:10;14264:23;;;;;;;;;;;;;;;;14256:3;:7;;:32;;;;:::i;:::-;:44;14248:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14370:25;14384:10;14370:13;:25::i;:::-;10319:42;14417:40;;;14458:10;14470:16;14417:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14409:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14569:49;14601:16;14569:15;:27;14585:10;14569:27;;;;;;;;;;;;;;;;:31;;:49;;;;:::i;:::-;14539:15;:27;14555:10;14539:27;;;;;;;;;;;;;;;:79;;;;14643:28;14660:10;14643:7;:16;;:28;;;;:::i;:::-;:64;;;;;14706:1;14675:15;:27;14691:10;14675:27;;;;;;;;;;;;;;;;:32;14643:64;14639:123;;;14724:26;14739:10;14724:7;:14;;:26;;;;:::i;:::-;;14639:123;14026:743;:::o;13355:99::-;13406:4;13430:16;:7;:14;:16::i;:::-;13423:23;;13355:99;:::o;10414:94::-;10466:42;10414:94;:::o;15742:68::-;15777:25;15791:10;15777:13;:25::i;:::-;15742:68::o;11203:44::-;;;;;;;;;;;;;;;;;:::o;11309:50::-;;;;;;;;;;;;;;;;;:::o;17257:434::-;9492:5;;;;;;;;;;;9478:19;;:10;:19;;;9470:28;;;;;;10319:42:::1;17372:38;;:10;:38;;;;17364:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10466:42;17503:39;;:10;:39;;;;17502:71;;;;17554:18;;17548:3;:24;17502:71;17494:128;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17649:10;17643:26;;;17670:3;17675:7;17643:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;17257:434:::0;;;:::o;10780:38::-;;;;:::o;11056:26::-;;;;:::o;9062:20::-;;;;;;;;;;;;;:::o;10983:29::-;;;;:::o;12458:885::-;12520:4;12542:25;12559:7;12542;:16;;:25;;;;:::i;:::-;12537:40;;12576:1;12569:8;;;;12537:40;12620:1;12592:15;:24;12608:7;12592:24;;;;;;;;;;;;;;;;:29;12588:43;;;12630:1;12623:8;;;;12588:43;12652:13;12676:9;12688:3;12676:15;;12713:14;;12706:4;:21;12702:75;;;12751:14;;12744:21;;12702:75;12829:4;12801:15;:24;12817:7;12801:24;;;;;;;;;;;;;;;;:32;12797:155;;12861:1;12850:12;;12797:155;;;12906:34;12915:15;:24;12931:7;12915:24;;;;;;;;;;;;;;;;12906:4;:8;;:34;;;;:::i;:::-;12895:45;;12797:155;12964:17;12984:15;:24;13000:7;12984:24;;;;;;;;;;;;;;;;12964:44;;13029:16;13048:244;13285:6;13048:202;13246:3;13048:163;10711:8;13048:113;13152:8;13048:69;13095:21;;13048:12;:46;;:69;;;;:::i;:::-;:103;;:113;;;;:::i;:::-;:147;;:163;;;;:::i;:::-;:197;;:202;;;;:::i;:::-;:236;;:244;;;;:::i;:::-;13029:263;;13324:11;13317:18;;;;;;12458:885;;;;:::o;10268:93::-;10319:42;10268:93;:::o;13472:542::-;13549:1;13533:13;:17;13525:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10319:42;13595:44;;;13640:10;13660:4;13667:13;13595:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13587:127;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13735:25;13749:10;13735:13;:25::i;:::-;13811:46;13843:13;13811:15;:27;13827:10;13811:27;;;;;;;;;;;;;;;;:31;;:46;;;;:::i;:::-;13781:15;:27;13797:10;13781:27;;;;;;;;;;;;;;;:76;;;;13883:28;13900:10;13883:7;:16;;:28;;;;:::i;:::-;13878:129;;13928:23;13940:10;13928:7;:11;;:23;;;;:::i;:::-;;13992:3;13966:11;:23;13978:10;13966:23;;;;;;;;;;;;;;;:29;;;;13878:129;13472:542;:::o;10550:42::-;;;;:::o;10673:46::-;10711:8;10673:46;:::o;11148:48::-;;;;;;;;;;;;;;;;;:::o;11019:30::-;;;;:::o;10732:35::-;;;;:::o;10929:41::-;;;;:::o;11759:145::-;9492:5;;;;;;;;;;;9478:19;;:10;:19;;;9470:28;;;;;;11874:22:::1;11850:21;:46;;;;11759:145:::0;:::o;9681:178::-;9492:5;;;;;;;;;;;9478:19;;:10;:19;;;9470:28;;;;;;9778:1:::1;9758:22;;:8;:22;;;;9750:31;;;::::0;::::1;;9821:8;9793:37;;9814:5;::::0;::::1;;;;;;;;;9793:37;;;;;;;;;;;;9845:8;9837:5;::::0;:16:::1;;;;;;;;;;;;;;;;;;9681:178:::0;:::o;11254:48::-;;;;;;;;;;;;;;;;;:::o;735:133::-;793:7;809:9;825:1;821;:5;809:17;;845:1;840;:6;;833:14;;;;861:1;854:8;;;735:133;;;;:::o;616:113::-;674:7;702:1;697;:6;;690:14;;;;722:1;718;:5;711:12;;616:113;;;;:::o;6377:158::-;6457:4;6481:46;6491:3;:10;;6519:5;6511:14;;6503:23;;6481:9;:46::i;:::-;6474:53;;6377:158;;;;:::o;6142:149::-;6215:4;6239:44;6247:3;:10;;6275:5;6267:14;;6259:23;;6239:7;:44::i;:::-;6232:51;;6142:149;;;;:::o;7082:::-;7156:7;7199:22;7203:3;:10;;7215:5;7199:3;:22::i;:::-;7191:31;;7176:47;;7082:149;;;;:::o;11916:530::-;11975:16;11994:23;12009:7;11994:14;:23::i;:::-;11975:42;;12046:1;12032:11;:15;12028:370;;;10466:42;12072:41;;;12114:7;12123:11;12072:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12064:102;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12210:43;12241:11;12210:17;:26;12228:7;12210:26;;;;;;;;;;;;;;;;:30;;:43;;;;:::i;:::-;12181:17;:26;12199:7;12181:26;;;;;;;;;;;;;;;:72;;;;12290:36;12314:11;12290:19;;:23;;:36;;;;:::i;:::-;12268:19;:58;;;;12346:40;12365:7;12374:11;12346:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;12028:370;12435:3;12408:15;:24;12424:7;12408:24;;;;;;;;;;;;;;;:30;;;;11916:530;;:::o;6621:117::-;6684:7;6711:19;6719:3;:10;;6711:7;:19::i;:::-;6704:26;;6621:117;;;:::o;187:147::-;245:7;261:9;277:1;273;:5;261:17;;297:1;292;:6;:20;;;;311:1;306;302;:5;;;;;;:10;292:20;285:28;;;;327:1;320:8;;;187:147;;;;:::o;340:270::-;398:7;489:9;505:1;501;:5;;;;;;489:17;;603:1;596:8;;;340:270;;;;:::o;5823:143::-;5893:4;5917:41;5922:3;:10;;5950:5;5942:14;;5934:23;;5917:4;:41::i;:::-;5910:48;;5823:143;;;;:::o;4697:129::-;4770:4;4817:1;4794:3;:12;;:19;4807:5;4794:19;;;;;;;;;;;;:24;;4787:31;;4697:129;;;;:::o;3067:1544::-;3133:4;3251:18;3272:3;:12;;:19;3285:5;3272:19;;;;;;;;;;;;3251:40;;3322:1;3308:10;:15;3304:1300;;3670:21;3707:1;3694:10;:14;3670:38;;3723:17;3764:1;3743:3;:11;;:18;;;;:22;3723:42;;4010:17;4030:3;:11;;4042:9;4030:22;;;;;;;;;;;;;;;;4010:42;;4176:9;4147:3;:11;;4159:13;4147:26;;;;;;;;;;;;;;;:38;;;;4295:1;4279:13;:17;4253:3;:12;;:23;4266:9;4253:23;;;;;;;;;;;:43;;;;4405:3;:11;;:17;;;;;;;;;;;;;;;;;;;;;;;;4500:3;:12;;:19;4513:5;4500:19;;;;;;;;;;;4493:26;;;4543:4;4536:11;;;;;;;;3304:1300;4587:5;4580:12;;;3067:1544;;;;;:::o;5365:204::-;5432:7;5481:5;5460:3;:11;;:18;;;;:26;5452:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5543:3;:11;;5555:5;5543:18;;;;;;;;;;;;;;;;5536:25;;5365:204;;;;:::o;4912:109::-;4968:7;4995:3;:11;;:18;;;;4988:25;;4912:109;;;:::o;2477:414::-;2540:4;2562:21;2572:3;2577:5;2562:9;:21::i;:::-;2557:327;;2600:3;:11;;2617:5;2600:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2783:3;:11;;:18;;;;2761:3;:12;;:19;2774:5;2761:19;;;;;;;;;;;:40;;;;2823:4;2816:11;;;;2557:327;2867:5;2860:12;;2477:414;;;;;:::o

ipfs://f58a885e5d004eb49156b48d2d9d0fe747250b82d19b59029b4edbb7a38f8e92