Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• 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 Context
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract IStaking
•    - function stake(uint256 amount, bytes ...
•    - function stakeFor(address user, uint2 ...
•    - function unstake(uint256 amount, byte ...
•    - function totalStakedFor(address addr)
•    - function totalStaked()
•    - function token()
•    - function supportsHistory()
•  contract TokenPool is Ownable
•    - function balance()
•    - function transfer(address to, uint256 ...
•  contract MinePool is Ownable
•    - function shareBalance()
•    - function shareTransfer(address to, ui ...
•    - function dollarBalance()
•    - function dollarTransfer(address to, u ...
•  contract SeigniorageMining is ISta ... *
•    - function getStakingToken()
•    - function getDistributionToken()
•    - function stake(uint256 amount, bytes ...
•    - function stakeFor(address user, uint2 ...
•    - function _stakeFor(address staker, ad ...
•    - function unstake(uint256 amount, byte ...
•    - function unstakeQuery(uint256 amount)
•    - function _unstake(uint256 amount)
•    - function computeNewReward(uint256 cur ...
•    - function computeNewDollarReward(uint2 ...
•    - function totalStakedFor(address addr)
•    - function totalStaked()
•    - function token()
•    - function totalUserShareRewards(addres ...
•    - function totalUserDollarRewards(addre ...
•    - function totalUserDollarRewardsFixed( ...
•    - function updateAccounting()
•    - function totalLocked()
•    - function totalUnlocked()
•    - function totalLockedDollars()
•    - function totalUnlockedDollars()
•    - function unlockScheduleCount()
•    - function changeStakingToken(IERC20 st ...
•    - function lockTokens(uint256 amount, u ...
•    - function unlockTokens()
•    - function unlockScheduleShares(uint256 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-25
*/

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

pragma solidity ^0.5.0;

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

        return c;
    }

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

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

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

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

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

        return c;
    }

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

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

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

pragma solidity ^0.5.0;

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

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

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

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * 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: openzeppelin-solidity/contracts/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: openzeppelin-solidity/contracts/ownership/Ownable.sol

pragma solidity ^0.5.0;

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be 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/IStaking.sol

pragma solidity 0.5.0;

/**
 * @title Staking interface, as defined by EIP-900.
 * @dev https://github.com/ethereum/EIPs/blob/master/EIPS/eip-900.md
 */
contract IStaking {
    event Staked(address indexed user, uint256 amount, uint256 total, bytes data);
    event Unstaked(address indexed user, uint256 amount, uint256 total, bytes data);

    function stake(uint256 amount, bytes calldata data) external;
    function stakeFor(address user, uint256 amount, bytes calldata data) external;
    function unstake(uint256 amount, bytes calldata data) external;
    function totalStakedFor(address addr) public view returns (uint256);
    function totalStaked() public view returns (uint256);
    function token() external view returns (address);

    /**
     * @return False. This application does not support staking history.
     */
    function supportsHistory() external pure returns (bool) {
        return false;
    }
}

// File: contracts/TokenPool.sol

pragma solidity 0.5.0;



/**
 * @title A simple holder of tokens.
 * This is a simple contract to hold tokens. It's useful in the case where a separate contract
 * needs to hold multiple distinct pools of the same token.
 */
contract TokenPool is Ownable {
    IERC20 public token;

    constructor(IERC20 _token) public {
        token = _token;
    }

    function balance() public view returns (uint256) {
        return token.balanceOf(address(this));
    }

    function transfer(address to, uint256 value) external onlyOwner returns (bool) {
        return token.transfer(to, value);
    }
}

// File: contracts/MinePool.sol

pragma solidity 0.5.0;




contract MinePool is Ownable {
    IERC20 public shareToken;
    IERC20 public dollarToken;

    constructor(IERC20 _shareToken, IERC20 _dollarToken) public {
        shareToken = _shareToken;
        dollarToken = _dollarToken;
    }

    function shareBalance() public view returns (uint256) {
        return shareToken.balanceOf(address(this));
    }

    function shareTransfer(address to, uint256 value) external onlyOwner returns (bool) {
        return shareToken.transfer(to, value);
    }

    function dollarBalance() public view returns (uint256) {
        return dollarToken.balanceOf(address(this));
    }

    function dollarTransfer(address to, uint256 value) external onlyOwner returns (bool) {
        return dollarToken.transfer(to, value);
    }
}

// File: contracts/SeigniorageMining.sol

pragma solidity 0.5.0;







/**
 * @title Dollar Rewards
 *      Forked from Ampleforth's GitHub and modified
 *
 *      Distribution tokens are added to a locked pool in the contract and become unlocked over time
 *      according to a once-configurable unlock schedule. Once unlocked, they are available to be
 *      claimed by users.
 *      
 *      Distribution tokens (SHARE) accrues USD as well.
 *
 *      A user may deposit tokens to accrue ownership share over the unlocked pool. This owner share
 *      is a function of the number of tokens deposited as well as the length of time deposited.
 *      Specifically, a user's share of the currently-unlocked pool equals their "deposit-seconds"
 *      divided by the global "deposit-seconds". This aligns the new token distribution with long
 *      term supporters of the project, addressing one of the major drawbacks of simple airdrops.
 */
contract SeigniorageMining is IStaking, Ownable {
    using SafeMath for uint256;

    event Staked(address indexed user, uint256 amount, uint256 total, bytes data);
    event Unstaked(address indexed user, uint256 amount, uint256 total, bytes data);
    
    event TokensClaimed(address indexed user, uint256 amount);
    event DollarsClaimed(address indexed user, uint256 amount);

    event TokensLocked(uint256 amount, uint256 durationSec, uint256 total);
    // amount: Unlocked tokens, total: Total locked tokens
    event TokensUnlocked(uint256 amount, uint256 total);
    event DollarsUnlocked(uint256 amount, uint256 total);

    TokenPool private _stakingPool;
    MinePool private _unlockedPool;
    MinePool private _lockedPool;

    //
    // Global accounting state
    //
    uint256 public totalLockedShares = 0;
    uint256 public totalStakingShares = 0;
    uint256 private _totalStakingShareSeconds = 0;
    uint256 private _lastAccountingTimestampSec = now;
    uint256 private _maxUnlockSchedules = 0;
    uint256 private _initialSharesPerToken = 0;

    //
    // User accounting state
    //
    // Represents a single stake for a user. A user may have multiple.
    struct Stake {
        uint256 stakingShares;
        uint256 timestampSec;
    }

    // Caches aggregated values from the User->Stake[] map to save computation.
    // If lastAccountingTimestampSec is 0, there's no entry for that user.
    struct UserTotals {
        uint256 stakingShares;
        uint256 stakingShareSeconds;
        uint256 lastAccountingTimestampSec;
    }

    // Aggregated staking values per user
    mapping(address => UserTotals) private _userTotals;

    // The collection of stakes for each user. Ordered by timestamp, earliest to latest.
    mapping(address => Stake[]) private _userStakes;

    //
    // Locked/Unlocked Accounting state
    //
    struct UnlockSchedule {
        uint256 initialLockedShares;
        uint256 unlockedShares;
        uint256 lastUnlockTimestampSec;
        uint256 startAtSec;
        uint256 endAtSec;
        uint256 durationSec;
    }

    UnlockSchedule[] public unlockSchedules;

    /**
     * @param stakingToken The token users deposit as stake.
     * @param shareToken Token 1 users receive as they unstake.
     * @param dollarToken Token 2 users receive as they unstake.
     * @param maxUnlockSchedules Max number of unlock stages, to guard against hitting gas limit.
     * @param initialSharesPerToken Number of shares to mint per staking token on first stake.
     */
    constructor(IERC20 stakingToken, IERC20 shareToken, IERC20 dollarToken, uint256 maxUnlockSchedules,
            uint256 initialSharesPerToken) public {
        require(initialSharesPerToken > 0, 'SeigniorageMining: initialSharesPerToken is zero');

        _stakingPool = new TokenPool(stakingToken);
        _unlockedPool = new MinePool(shareToken, dollarToken);
        _lockedPool = new MinePool(shareToken, dollarToken);
        _maxUnlockSchedules = maxUnlockSchedules;
        _initialSharesPerToken = initialSharesPerToken;
    }

    /**
     * @return The token users deposit as stake.
     */
    function getStakingToken() public view returns (IERC20) {
        return _stakingPool.token();
    }

    /**
     * @return The token users receive as they unstake.
     */
    function getDistributionToken() public view returns (IERC20) {
        assert(_unlockedPool.shareToken() == _lockedPool.shareToken());
        return _unlockedPool.shareToken();
    }

    /**
     * @dev Transfers amount of deposit tokens from the user.
     * @param amount Number of deposit tokens to stake.
     * @param data Not used.
     */
    function stake(uint256 amount, bytes calldata data) external {
        _stakeFor(msg.sender, msg.sender, amount);
    }

    /**
     * @dev Transfers amount of deposit tokens from the caller on behalf of user.
     * @param user User address who gains credit for this stake operation.
     * @param amount Number of deposit tokens to stake.
     * @param data Not used.
     */
    function stakeFor(address user, uint256 amount, bytes calldata data) external {
        _stakeFor(msg.sender, user, amount);
    }

    /**
     * @dev Private implementation of staking methods.
     * @param staker User address who deposits tokens to stake.
     * @param beneficiary User address who gains credit for this stake operation.
     * @param amount Number of deposit tokens to stake.
     */
    function _stakeFor(address staker, address beneficiary, uint256 amount) private {
        require(amount > 0, 'SeigniorageMining: stake amount is zero');
        require(beneficiary != address(0), 'SeigniorageMining: beneficiary is zero address');
        require(totalStakingShares == 0 || totalStaked() > 0,
                'SeigniorageMining: Invalid state. Staking shares exist, but no staking tokens do');

        uint256 mintedStakingShares = (totalStakingShares > 0)
            ? totalStakingShares.mul(amount).div(totalStaked())
            : amount.mul(_initialSharesPerToken);
        require(mintedStakingShares > 0, 'SeigniorageMining: Stake amount is too small');

        updateAccounting();

        // 1. User Accounting
        UserTotals storage totals = _userTotals[beneficiary];
        totals.stakingShares = totals.stakingShares.add(mintedStakingShares);
        totals.lastAccountingTimestampSec = now;

        Stake memory newStake = Stake(mintedStakingShares, now);
        _userStakes[beneficiary].push(newStake);

        // 2. Global Accounting
        totalStakingShares = totalStakingShares.add(mintedStakingShares);
        // Already set in updateAccounting()
        // _lastAccountingTimestampSec = now;

        // interactions
        require(_stakingPool.token().transferFrom(staker, address(_stakingPool), amount),
            'SeigniorageMining: transfer into staking pool failed');

        emit Staked(beneficiary, amount, totalStakedFor(beneficiary), "");
    }

    /**
     * @dev Unstakes a certain amount of previously deposited tokens. User also receives their
     * alotted number of distribution tokens.
     * @param amount Number of deposit tokens to unstake / withdraw.
     * @param data Not used.
     */
    function unstake(uint256 amount, bytes calldata data) external {
        _unstake(amount);
    }

    /**
     * @param amount Number of deposit tokens to unstake / withdraw.
     * @return The total number of distribution tokens that would be rewarded.
     */
    function unstakeQuery(uint256 amount) public returns (uint256, uint256) {
        return _unstake(amount);
    }

    /**
     * @dev Unstakes a certain amount of previously deposited tokens. User also receives their
     * alotted number of distribution tokens.
     * @param amount Number of deposit tokens to unstake / withdraw.
     * @return The total number of distribution tokens rewarded.
     */
    function _unstake(uint256 amount) private returns (uint256, uint256) {
        updateAccounting();

        // checks
        require(amount > 0, 'SeigniorageMining: unstake amount is zero');
        require(totalStakedFor(msg.sender) >= amount,
            'SeigniorageMining: unstake amount is greater than total user stakes');
        uint256 stakingSharesToBurn = totalStakingShares.mul(amount).div(totalStaked());
        require(stakingSharesToBurn > 0, 'SeigniorageMining: Unable to unstake amount this small');

        // 1. User Accounting
        UserTotals storage totals = _userTotals[msg.sender];
        Stake[] storage accountStakes = _userStakes[msg.sender];

        // Redeem from most recent stake and go backwards in time.
        uint256 stakingShareSecondsToBurn = 0;
        uint256 sharesLeftToBurn = stakingSharesToBurn;
        uint256 rewardAmount = 0;
        uint256 rewardDollarAmount = 0;
        while (sharesLeftToBurn > 0) {
            Stake storage lastStake = accountStakes[accountStakes.length - 1];
            uint256 stakeTimeSec = now.sub(lastStake.timestampSec);
            uint256 newStakingShareSecondsToBurn = 0;
            if (lastStake.stakingShares <= sharesLeftToBurn) {
                // fully redeem a past stake
                newStakingShareSecondsToBurn = lastStake.stakingShares.mul(stakeTimeSec);
                rewardAmount = computeNewReward(rewardAmount, newStakingShareSecondsToBurn);
                rewardDollarAmount = computeNewDollarReward(rewardDollarAmount, newStakingShareSecondsToBurn);
                stakingShareSecondsToBurn = stakingShareSecondsToBurn.add(newStakingShareSecondsToBurn);
                sharesLeftToBurn = sharesLeftToBurn.sub(lastStake.stakingShares);
                accountStakes.length--;
            } else {
                // partially redeem a past stake
                newStakingShareSecondsToBurn = sharesLeftToBurn.mul(stakeTimeSec);
                rewardAmount = computeNewReward(rewardAmount, newStakingShareSecondsToBurn);
                rewardDollarAmount = computeNewDollarReward(rewardDollarAmount, newStakingShareSecondsToBurn);
                stakingShareSecondsToBurn = stakingShareSecondsToBurn.add(newStakingShareSecondsToBurn);
                lastStake.stakingShares = lastStake.stakingShares.sub(sharesLeftToBurn);
                sharesLeftToBurn = 0;
            }
        }
        totals.stakingShareSeconds = totals.stakingShareSeconds.sub(stakingShareSecondsToBurn);
        totals.stakingShares = totals.stakingShares.sub(stakingSharesToBurn);
        // Already set in updateAccounting
        // totals.lastAccountingTimestampSec = now;

        // 2. Global Accounting
        _totalStakingShareSeconds = _totalStakingShareSeconds.sub(stakingShareSecondsToBurn);
        totalStakingShares = totalStakingShares.sub(stakingSharesToBurn);
        // Already set in updateAccounting
        // _lastAccountingTimestampSec = now;

        // interactions
        require(_stakingPool.transfer(msg.sender, amount),
            'SeigniorageMining: transfer out of staking pool failed');
        require(_unlockedPool.shareTransfer(msg.sender, rewardAmount),
            'SeigniorageMining: shareTransfer out of unlocked pool failed');
        require(_unlockedPool.dollarTransfer(msg.sender, rewardDollarAmount),
            'SeigniorageMining: dollarTransfer out of unlocked pool failed');

        emit Unstaked(msg.sender, amount, totalStakedFor(msg.sender), "");
        emit TokensClaimed(msg.sender, rewardAmount);
        emit DollarsClaimed(msg.sender, rewardDollarAmount);

        require(totalStakingShares == 0 || totalStaked() > 0,
                "SeigniorageMining: Error unstaking. Staking shares exist, but no staking tokens do");
        return (rewardAmount, rewardDollarAmount);
    }

    /**
     * @param currentRewardTokens The current number of distribution tokens already alotted for this
     *                            unstake op.
     * @param stakingShareSeconds The stakingShare-seconds that are being burned for new
     *                            distribution tokens.
     * @return Updated amount of distribution tokens to award.
     */
    function computeNewReward(uint256 currentRewardTokens,
                                uint256 stakingShareSeconds) private view returns (uint256) {

        uint256 newRewardTokens =
            totalUnlocked()
            .mul(stakingShareSeconds)
            .div(_totalStakingShareSeconds);

        return currentRewardTokens.add(newRewardTokens);
    }

    function computeNewDollarReward(uint256 currentRewardTokens,
                                uint256 stakingShareSeconds) private view returns (uint256) {

        uint256 newRewardTokens =
            totalUnlockedDollars()
            .mul(stakingShareSeconds)
            .div(_totalStakingShareSeconds);

        return currentRewardTokens.add(newRewardTokens);
    }

    /**
     * @param addr The user to look up staking information for.
     * @return The number of staking tokens deposited for addr.
     */
    function totalStakedFor(address addr) public view returns (uint256) {
        return totalStakingShares > 0 ?
            totalStaked().mul(_userTotals[addr].stakingShares).div(totalStakingShares) : 0;
    }

    /**
     * @return The total number of deposit tokens staked globally, by all users.
     */
    function totalStaked() public view returns (uint256) {
        return _stakingPool.balance();
    }

    /**
     * @dev Note that this application has a staking token as well as a distribution token, which
     * may be different. This function is required by EIP-900.
     * @return The deposit token used for staking.
     */
    function token() external view returns (address) {
        return address(getStakingToken());
    }

    function totalUserShareRewards(address user) external view returns (uint256) {
        UserTotals storage totals = _userTotals[user];

        return (_totalStakingShareSeconds > 0)
            ? totalUnlocked().mul(totals.stakingShareSeconds).div(_totalStakingShareSeconds)
            : 0;
    }

    function totalUserDollarRewards(address user) external view returns (uint256) {
        UserTotals storage totals = _userTotals[user];

        return (_totalStakingShareSeconds > 0)
            ? totalLockedDollars().mul(totals.stakingShareSeconds).div(_totalStakingShareSeconds)
            : 0;
    }

    function totalUserDollarRewardsFixed(address user) external view returns (uint256) {
        UserTotals storage totals = _userTotals[user];

        return (_totalStakingShareSeconds > 0)
            ? totalUnlockedDollars().mul(totals.stakingShareSeconds).div(_totalStakingShareSeconds)
            : 0;
    }

    /**
     * @dev A globally callable function to update the accounting state of the system.
     *      Global state and state for the caller are updated.
     * @return [0] balance of the locked pool
     * @return [1] balance of the unlocked pool
     * @return [2] caller's staking share seconds
     * @return [3] global staking share seconds
     * @return [4] Rewards caller has accumulated
     * @return [5] Dollar Rewards caller has accumulated
     * @return [6] block timestamp
     */
    function updateAccounting() public returns (
        uint256, uint256, uint256, uint256, uint256, uint256, uint256) {

        unlockTokens();

        // Global accounting
        uint256 newStakingShareSeconds =
            now
            .sub(_lastAccountingTimestampSec)
            .mul(totalStakingShares);
        _totalStakingShareSeconds = _totalStakingShareSeconds.add(newStakingShareSeconds);
        _lastAccountingTimestampSec = now;

        // User Accounting
        UserTotals storage totals = _userTotals[msg.sender];
        uint256 newUserStakingShareSeconds =
            now
            .sub(totals.lastAccountingTimestampSec)
            .mul(totals.stakingShares);
        totals.stakingShareSeconds =
            totals.stakingShareSeconds
            .add(newUserStakingShareSeconds);
        totals.lastAccountingTimestampSec = now;

        uint256 totalUserShareRewards = (_totalStakingShareSeconds > 0)
            ? totalUnlocked().mul(totals.stakingShareSeconds).div(_totalStakingShareSeconds)
            : 0;
    
        uint256 totalUserDollarRewards = (_totalStakingShareSeconds > 0)
            ? totalLockedDollars().mul(totals.stakingShareSeconds).div(_totalStakingShareSeconds)
            : 0;

        return (
            totalLocked(),
            totalUnlocked(),
            totals.stakingShareSeconds,
            _totalStakingShareSeconds,
            totalUserShareRewards,
            totalUserDollarRewards,
            now
        );
    }

    /**
     * @return Total number of locked distribution tokens.
     */
    function totalLocked() public view returns (uint256) {
        return _lockedPool.shareBalance();
    }

    /**
     * @return Total number of unlocked distribution tokens.
     */
    function totalUnlocked() public view returns (uint256) {
        return _unlockedPool.shareBalance();
    }

    /**
     * @return Total number of locked distribution tokens.
     */
    function totalLockedDollars() public view returns (uint256) {
        return _lockedPool.dollarBalance();
    }

    /**
     * @return Total number of unlocked distribution tokens.
     */
    function totalUnlockedDollars() public view returns (uint256) {
        return _unlockedPool.dollarBalance();
    }

    /**
     * @return Number of unlock schedules.
     */
    function unlockScheduleCount() public view returns (uint256) {
        return unlockSchedules.length;
    }

    function changeStakingToken(IERC20 stakingToken) external onlyOwner {
        _stakingPool = new TokenPool(stakingToken);
    }

    /**
     * @dev This funcion allows the contract owner to add more locked distribution tokens, along
     *      with the associated "unlock schedule". These locked tokens immediately begin unlocking
     *      linearly over the duraction of durationSec timeframe.
     * @param amount Number of distribution tokens to lock. These are transferred from the caller.
     * @param durationSec Length of time to linear unlock the tokens.
     */
    function lockTokens(uint256 amount, uint256 startTimeSec, uint256 durationSec) external onlyOwner {
        require(unlockSchedules.length < _maxUnlockSchedules,
            'SeigniorageMining: reached maximum unlock schedules');

        // Update lockedTokens amount before using it in computations after.
        updateAccounting();

        uint256 lockedTokens = totalLocked();
        uint256 mintedLockedShares = (lockedTokens > 0)
            ? totalLockedShares.mul(amount).div(lockedTokens)
            : amount.mul(_initialSharesPerToken);

        UnlockSchedule memory schedule;
        schedule.initialLockedShares = mintedLockedShares;
        schedule.lastUnlockTimestampSec = now;
        schedule.startAtSec = startTimeSec;
        schedule.endAtSec = startTimeSec.add(durationSec);
        schedule.durationSec = durationSec;
        unlockSchedules.push(schedule);

        totalLockedShares = totalLockedShares.add(mintedLockedShares);

        require(_lockedPool.shareToken().transferFrom(msg.sender, address(_lockedPool), amount),
            'SeigniorageMining: transfer into locked pool failed');
        emit TokensLocked(amount, durationSec, totalLocked());
    }

    /**
     * @dev Moves distribution tokens from the locked pool to the unlocked pool, according to the
     *      previously defined unlock schedules. Publicly callable.
     * @return Number of newly unlocked distribution tokens.
     */
    function unlockTokens() public returns (uint256) {
        uint256 unlockedShareTokens = 0;
        uint256 lockedShareTokens = totalLocked();

        uint256 unlockedDollars = 0;
        uint256 lockedDollars = totalLockedDollars();

        if (totalLockedShares == 0) {
            unlockedShareTokens = lockedShareTokens;
            unlockedDollars = lockedDollars;
        } else {
            uint256 unlockedShares = 0;
            for (uint256 s = 0; s < unlockSchedules.length; s++) {
                unlockedShares = unlockedShares.add(unlockScheduleShares(s));
            }
            unlockedShareTokens = unlockedShares.mul(lockedShareTokens).div(totalLockedShares);
            unlockedDollars = unlockedShares.mul(lockedDollars).div(totalLockedShares);
            totalLockedShares = totalLockedShares.sub(unlockedShares);
        }

        if (unlockedShareTokens > 0) {
            require(_lockedPool.shareTransfer(address(_unlockedPool), unlockedShareTokens),
                'SeigniorageMining: shareTransfer out of locked pool failed');
            require(_lockedPool.dollarTransfer(address(_unlockedPool), unlockedDollars),
                'SeigniorageMining: dollarTransfer out of locked pool failed');

            emit TokensUnlocked(unlockedShareTokens, totalLocked());
            emit DollarsUnlocked(unlockedDollars, totalLocked());
        }

        return unlockedShareTokens;
    }

    /**
     * @dev Returns the number of unlockable shares from a given schedule. The returned value
     *      depends on the time since the last unlock. This function updates schedule accounting,
     *      but does not actually transfer any tokens.
     * @param s Index of the unlock schedule.
     * @return The number of unlocked shares.
     */
    function unlockScheduleShares(uint256 s) private returns (uint256) {
        UnlockSchedule storage schedule = unlockSchedules[s];

        if(schedule.unlockedShares >= schedule.initialLockedShares) {
            return 0;
        }

        uint256 sharesToUnlock = 0;
        if (now < schedule.startAtSec) {
            // do nothing
        } else if (now >= schedule.endAtSec) { // Special case to handle any leftover dust from integer division
            sharesToUnlock = (schedule.initialLockedShares.sub(schedule.unlockedShares));
            schedule.lastUnlockTimestampSec = schedule.endAtSec;
        } else {
            sharesToUnlock = now.sub(schedule.lastUnlockTimestampSec)
                .mul(schedule.initialLockedShares)
                .div(schedule.durationSec);
            schedule.lastUnlockTimestampSec = now;
        }

        schedule.unlockedShares = schedule.unlockedShares.add(sharesToUnlock);
        return sharesToUnlock;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"user","type":"address"}],"name":"totalUserShareRewards","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"},{"name":"data","type":"bytes"}],"name":"stake","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"user","type":"address"},{"name":"amount","type":"uint256"},{"name":"data","type":"bytes"}],"name":"stakeFor","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getDistributionToken","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"stakingToken","type":"address"}],"name":"changeStakingToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"updateAccounting","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"totalStakedFor","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalLocked","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"unlockSchedules","outputs":[{"name":"initialLockedShares","type":"uint256"},{"name":"unlockedShares","type":"uint256"},{"name":"lastUnlockTimestampSec","type":"uint256"},{"name":"startAtSec","type":"uint256"},{"name":"endAtSec","type":"uint256"},{"name":"durationSec","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"user","type":"address"}],"name":"totalUserDollarRewards","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"supportsHistory","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[],"name":"totalStakingShares","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalStaked","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalLockedShares","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"},{"name":"startTimeSec","type":"uint256"},{"name":"durationSec","type":"uint256"}],"name":"lockTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"unstakeQuery","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getStakingToken","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalUnlocked","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"unlockScheduleCount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalLockedDollars","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"user","type":"address"}],"name":"totalUserDollarRewardsFixed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"},{"name":"data","type":"bytes"}],"name":"unstake","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalUnlockedDollars","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unlockTokens","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"token","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"stakingToken","type":"address"},{"name":"shareToken","type":"address"},{"name":"dollarToken","type":"address"},{"name":"maxUnlockSchedules","type":"uint256"},{"name":"initialSharesPerToken","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"total","type":"uint256"},{"indexed":false,"name":"data","type":"bytes"}],"name":"Staked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"total","type":"uint256"},{"indexed":false,"name":"data","type":"bytes"}],"name":"Unstaked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"TokensClaimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"DollarsClaimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"durationSec","type":"uint256"},{"indexed":false,"name":"total","type":"uint256"}],"name":"TokensLocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"total","type":"uint256"}],"name":"TokensUnlocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"total","type":"uint256"}],"name":"DollarsUnlocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

0x608060405260043610620001925763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166309067f978114620001975780630e89439b14620001e05780630ef96356146200026d57806322c12b841462000306578063285d333b146200033a578063494347e714620003715780634b341aed14620003c15780635689141214620003f85780635c94bcb214620004105780636c5f185214620004715780637033e4a614620004a857806370c6a17e14620004d4578063715018a614620004ec578063817b1cd2146200050457806381c39bec146200051c5780638586c264146200053457806386805dd1146200056e5780638da5cb5b14620005b55780638f32d59b14620005cd5780639f9106d114620005e5578063a779d08014620005fd578063c7ae20071462000615578063c81ddeff146200062d578063c89150e71462000645578063c8fd6ed0146200067c578063ed4d461a1462000707578063f2fde38b146200071f578063f968f4931462000756578063fc0c546a146200076e575b600080fd5b348015620001a457600080fd5b50620001ce60048036036020811015620001bd57600080fd5b5035600160a060020a031662000786565b60408051918252519081900360200190f35b348015620001ed57600080fd5b506200026b600480360360408110156200020657600080fd5b813591908101906040810160208201356401000000008111156200022957600080fd5b8201836020820111156200023c57600080fd5b803590602001918460018302840111640100000000831117156200025f57600080fd5b509092509050620007ed565b005b3480156200027a57600080fd5b506200026b600480360360608110156200029357600080fd5b600160a060020a0382351691602081013591810190606081016040820135640100000000811115620002c457600080fd5b820183602082011115620002d757600080fd5b80359060200191846001830284011164010000000083111715620002fa57600080fd5b509092509050620007ff565b3480156200031357600080fd5b506200031e62000812565b60408051600160a060020a039092168252519081900360200190f35b3480156200034757600080fd5b506200026b600480360360208110156200036057600080fd5b5035600160a060020a0316620009e0565b3480156200037e57600080fd5b506200038962000a9a565b604080519788526020880196909652868601949094526060860192909252608085015260a084015260c0830152519081900360e00190f35b348015620003ce57600080fd5b50620001ce60048036036020811015620003e757600080fd5b5035600160a060020a031662000bdb565b3480156200040557600080fd5b50620001ce62000c26565b3480156200041d57600080fd5b506200043e600480360360208110156200043657600080fd5b503562000c85565b604080519687526020870195909552858501939093526060850191909152608084015260a0830152519081900360c00190f35b3480156200047e57600080fd5b50620001ce600480360360208110156200049757600080fd5b5035600160a060020a031662000cca565b348015620004b557600080fd5b50620004c062000d0e565b604080519115158252519081900360200190f35b348015620004e157600080fd5b50620001ce62000d13565b348015620004f957600080fd5b506200026b62000d19565b3480156200051157600080fd5b50620001ce62000dc0565b3480156200052957600080fd5b50620001ce62000e1f565b3480156200054157600080fd5b506200026b600480360360608110156200055a57600080fd5b508035906020810135906040013562000e25565b3480156200057b57600080fd5b506200059c600480360360208110156200059457600080fd5b5035620012a7565b6040805192835260208301919091528051918290030190f35b348015620005c257600080fd5b506200031e620012be565b348015620005da57600080fd5b50620004c0620012cd565b348015620005f257600080fd5b506200031e620012f3565b3480156200060a57600080fd5b50620001ce62001352565b3480156200062257600080fd5b50620001ce620013b1565b3480156200063a57600080fd5b50620001ce620013b7565b3480156200065257600080fd5b50620001ce600480360360208110156200066b57600080fd5b5035600160a060020a031662001416565b3480156200068957600080fd5b506200026b60048036036040811015620006a257600080fd5b81359190810190604081016020820135640100000000811115620006c557600080fd5b820183602082011115620006d857600080fd5b80359060200191846001830284011164010000000083111715620006fb57600080fd5b5090925090506200145a565b3480156200071457600080fd5b50620001ce6200146c565b3480156200072c57600080fd5b506200026b600480360360208110156200074557600080fd5b5035600160a060020a0316620014cb565b3480156200076357600080fd5b50620001ce62001529565b3480156200077b57600080fd5b506200031e620018c4565b600160a060020a0381166000908152600a602052604081206006548210620007b0576000620007e4565b620007e4600654620007d78360010154620007ca62001352565b9063ffffffff620018d516565b9063ffffffff6200197c16565b9150505b919050565b620007fa333385620019c0565b505050565b6200080c338585620019c0565b50505050565b600354604080517f6c9fa59e0000000000000000000000000000000000000000000000000000000081529051600092600160a060020a031691636c9fa59e916004808301926020929190829003018186803b1580156200087157600080fd5b505afa15801562000886573d6000803e3d6000fd5b505050506040513d60208110156200089d57600080fd5b5051600254604080517f6c9fa59e0000000000000000000000000000000000000000000000000000000081529051600160a060020a039384169390921691636c9fa59e91600480820192602092909190829003018186803b1580156200090257600080fd5b505afa15801562000917573d6000803e3d6000fd5b505050506040513d60208110156200092e57600080fd5b5051600160a060020a0316146200094157fe5b600260009054906101000a9004600160a060020a0316600160a060020a0316636c9fa59e6040518163ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040160206040518083038186803b158015620009ac57600080fd5b505afa158015620009c1573d6000803e3d6000fd5b505050506040513d6020811015620009d857600080fd5b505190505b90565b620009ea620012cd565b151562000a30576040805160e560020a62461bcd028152602060048201819052602482015260008051602062003293833981519152604482015290519081900360640190fd5b8062000a3b62002b6d565b600160a060020a03909116815260405190819003602001906000f08015801562000a69573d6000803e3d6000fd5b506001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a039290921691909117905550565b600080600080600080600062000aaf62001529565b50600062000ad0600554620007ca6007544262001f1790919063ffffffff16565b60065490915062000ae8908263ffffffff62001f5b16565b600655426007819055336000908152600a6020526040812080546002820154919362000b2092620007ca919063ffffffff62001f1716565b600183015490915062000b3a908263ffffffff62001f5b16565b6001830155426002830155600654600090811062000b5a57600062000b74565b62000b74600654620007d78560010154620007ca62001352565b90506000806006541162000b8a57600062000ba4565b62000ba4600654620007d78660010154620007ca620013b7565b905062000bb062000c26565b62000bba62001352565b600190950154600654919e959d509b50995090975095504294509092505050565b6000806005541162000bef57600062000c20565b600554600160a060020a0383166000908152600a602052604090205462000c209190620007d790620007ca62000dc0565b92915050565b600354604080517f59f746070000000000000000000000000000000000000000000000000000000081529051600092600160a060020a0316916359f74607916004808301926020929190829003018186803b158015620009ac57600080fd5b600c80548290811062000c9457fe5b60009182526020909120600690910201805460018201546002830154600384015460048501546005909501549395509193909286565b600160a060020a0381166000908152600a60205260408120600654821062000cf4576000620007e4565b620007e4600654620007d78360010154620007ca620013b7565b600090565b60055481565b62000d23620012cd565b151562000d69576040805160e560020a62461bcd028152602060048201819052602482015260008051602062003293833981519152604482015290519081900360640190fd5b60008054604051600160a060020a03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a36000805473ffffffffffffffffffffffffffffffffffffffff19169055565b600154604080517fb69ef8a80000000000000000000000000000000000000000000000000000000081529051600092600160a060020a03169163b69ef8a8916004808301926020929190829003018186803b158015620009ac57600080fd5b60045481565b62000e2f620012cd565b151562000e75576040805160e560020a62461bcd028152602060048201819052602482015260008051602062003293833981519152604482015290519081900360640190fd5b600854600c541062000ef7576040805160e560020a62461bcd02815260206004820152603360248201527f536569676e696f726167654d696e696e673a2072656163686564206d6178696d60448201527f756d20756e6c6f636b207363686564756c657300000000000000000000000000606482015290519081900360840190fd5b62000f0162000a9a565b50505050505050600062000f1462000c26565b9050600080821162000f3c5760095462000f3690869063ffffffff620018d516565b62000f58565b62000f5882620007d787600454620018d590919063ffffffff16565b905062000f6462002b7e565b8181524260408201526060810185905262000f86858563ffffffff62001f5b16565b6080820190815260a08201858152600c805460018101825560009190915283517fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c760069092029182015560208401517fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c882015560408401517fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c982015560608401517fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8ca82015591517fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8cb830155517fdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8cc90910155600454620010a6908362001f5b565b6004908155600354604080517f6c9fa59e0000000000000000000000000000000000000000000000000000000081529051600160a060020a0390921692636c9fa59e928282019260209290829003018186803b1580156200110657600080fd5b505afa1580156200111b573d6000803e3d6000fd5b505050506040513d60208110156200113257600080fd5b5051600354604080517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152600160a060020a039283166024820152604481018a9052905191909216916323b872dd9160648083019260209291908290030181600087803b158015620011aa57600080fd5b505af1158015620011bf573d6000803e3d6000fd5b505050506040513d6020811015620011d657600080fd5b5051151562001255576040805160e560020a62461bcd02815260206004820152603360248201527f536569676e696f726167654d696e696e673a207472616e7366657220696e746f60448201527f206c6f636b656420706f6f6c206661696c656400000000000000000000000000606482015290519081900360840190fd5b7ff346961af4c52f314df1b45964746280fe409abb959d4a2458d58f79408b1fe886856200128262000c26565b60408051938452602084019290925282820152519081900360600190a1505050505050565b600080620012b58362001fb9565b91509150915091565b600054600160a060020a031690565b60008054600160a060020a0316620012e462002836565b600160a060020a031614905090565b600154604080517ffc0c546a0000000000000000000000000000000000000000000000000000000081529051600092600160a060020a03169163fc0c546a916004808301926020929190829003018186803b158015620009ac57600080fd5b600254604080517f59f746070000000000000000000000000000000000000000000000000000000081529051600092600160a060020a0316916359f74607916004808301926020929190829003018186803b158015620009ac57600080fd5b600c5490565b600354604080517fae2e4cd00000000000000000000000000000000000000000000000000000000081529051600092600160a060020a03169163ae2e4cd0916004808301926020929190829003018186803b158015620009ac57600080fd5b600160a060020a0381166000908152600a60205260408120600654821062001440576000620007e4565b620007e4600654620007d78360010154620007ca6200146c565b620014658362001fb9565b5050505050565b600254604080517fae2e4cd00000000000000000000000000000000000000000000000000000000081529051600092600160a060020a03169163ae2e4cd0916004808301926020929190829003018186803b158015620009ac57600080fd5b620014d5620012cd565b15156200151b576040805160e560020a62461bcd028152602060048201819052602482015260008051602062003293833981519152604482015290519081900360640190fd5b62001526816200283a565b50565b600080806200153762000c26565b905060008062001546620013b7565b9050600454600014156200156057829350809150620015ec565b6000805b600c5481101562001597576200158c6200157e8262002929565b839063ffffffff62001f5b16565b915060010162001564565b50600454620015b290620007d7838763ffffffff620018d516565b600454909550620015cf90620007d7838563ffffffff620018d516565b600454909350620015e7908263ffffffff62001f1716565b600455505b6000841115620018bb57600354600254604080517f463bb3b8000000000000000000000000000000000000000000000000000000008152600160a060020a039283166004820152602481018890529051919092169163463bb3b89160448083019260209291908290030181600087803b1580156200166957600080fd5b505af11580156200167e573d6000803e3d6000fd5b505050506040513d60208110156200169557600080fd5b5051151562001714576040805160e560020a62461bcd02815260206004820152603a60248201527f536569676e696f726167654d696e696e673a2073686172655472616e7366657260448201527f206f7574206f66206c6f636b656420706f6f6c206661696c6564000000000000606482015290519081900360840190fd5b600354600254604080517f99b77bae000000000000000000000000000000000000000000000000000000008152600160a060020a03928316600482015260248101869052905191909216916399b77bae9160448083019260209291908290030181600087803b1580156200178757600080fd5b505af11580156200179c573d6000803e3d6000fd5b505050506040513d6020811015620017b357600080fd5b5051151562001832576040805160e560020a62461bcd02815260206004820152603b60248201527f536569676e696f726167654d696e696e673a20646f6c6c61725472616e73666560448201527f72206f7574206f66206c6f636b656420706f6f6c206661696c65640000000000606482015290519081900360840190fd5b7f2e444eb379b177e88ce0649c6110a3b01099f03e297127919dd5e3b63a761a9c846200185e62000c26565b6040805192835260208301919091528051918290030190a17fa775b391ae07fa3c3651c6adf797452a0fc5d2336670b1101271c0db101a4ae182620018a262000c26565b6040805192835260208301919091528051918290030190a15b50919250505090565b6000620018d0620012f3565b905090565b6000821515620018e85750600062000c20565b828202828482811515620018f857fe5b041462001975576040805160e560020a62461bcd02815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f60448201527f7700000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b9392505050565b60006200197583836040805190810160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525062002a10565b6000811162001a3f576040805160e560020a62461bcd02815260206004820152602760248201527f536569676e696f726167654d696e696e673a207374616b6520616d6f756e742060448201527f6973207a65726f00000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a038216151562001ac6576040805160e560020a62461bcd02815260206004820152602e60248201527f536569676e696f726167654d696e696e673a2062656e6566696369617279206960448201527f73207a65726f2061646472657373000000000000000000000000000000000000606482015290519081900360840190fd5b600554158062001adf5750600062001add62000dc0565b115b151562001b82576040805160e560020a62461bcd02815260206004820152605060248201527f536569676e696f726167654d696e696e673a20496e76616c696420737461746560448201527f2e205374616b696e67207368617265732065786973742c20627574206e6f207360648201527f74616b696e6720746f6b656e7320646f00000000000000000000000000000000608482015290519081900360a40190fd5b6000806005541162001baa5760095462001ba490839063ffffffff620018d516565b62001bcd565b62001bcd62001bb862000dc0565b600554620007d7908563ffffffff620018d516565b90506000811162001c4e576040805160e560020a62461bcd02815260206004820152602c60248201527f536569676e696f726167654d696e696e673a205374616b6520616d6f756e742060448201527f697320746f6f20736d616c6c0000000000000000000000000000000000000000606482015290519081900360840190fd5b62001c5862000a9a565b50505050600160a060020a0386166000908152600a60205260409020805490935062001c88925090508362001f5b565b815542600282015562001c9a62002bb5565b50604080518082018252838152426020808301918252600160a060020a0388166000908152600b8252938420805460018181018355918652919094208351600290920201908155905192019190915560055462001cfe908463ffffffff62001f5b16565b600555600154604080517ffc0c546a0000000000000000000000000000000000000000000000000000000081529051600160a060020a039092169163fc0c546a91600480820192602092909190829003018186803b15801562001d6057600080fd5b505afa15801562001d75573d6000803e3d6000fd5b505050506040513d602081101562001d8c57600080fd5b5051600154604080517f23b872dd000000000000000000000000000000000000000000000000000000008152600160a060020a038a81166004830152928316602482015260448101889052905191909216916323b872dd9160648083019260209291908290030181600087803b15801562001e0657600080fd5b505af115801562001e1b573d6000803e3d6000fd5b505050506040513d602081101562001e3257600080fd5b5051151562001eb1576040805160e560020a62461bcd02815260206004820152603460248201527f536569676e696f726167654d696e696e673a207472616e7366657220696e746f60448201527f207374616b696e6720706f6f6c206661696c6564000000000000000000000000606482015290519081900360840190fd5b84600160a060020a03167fc65e53b88159e7d2c0fc12a0600072e28ae53ff73b4c1715369c30f1609351428562001ee88862000bdb565b6040805192835260208301919091526060828201819052600090830152519081900360a00190a2505050505050565b60006200197583836040805190810160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525062002abe565b60008282018381101562001975576040805160e560020a62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b60008062001fc662000a9a565b505050505050506000831115156200204e576040805160e560020a62461bcd02815260206004820152602960248201527f536569676e696f726167654d696e696e673a20756e7374616b6520616d6f756e60448201527f74206973207a65726f0000000000000000000000000000000000000000000000606482015290519081900360840190fd5b826200205a3362000bdb565b1015620020fd576040805160e560020a62461bcd02815260206004820152604360248201527f536569676e696f726167654d696e696e673a20756e7374616b6520616d6f756e60448201527f742069732067726561746572207468616e20746f74616c20757365722073746160648201527f6b65730000000000000000000000000000000000000000000000000000000000608482015290519081900360a40190fd5b6000620021226200210d62000dc0565b600554620007d7908763ffffffff620018d516565b905060008111620021a3576040805160e560020a62461bcd02815260206004820152603660248201527f536569676e696f726167654d696e696e673a20556e61626c6520746f20756e7360448201527f74616b6520616d6f756e74207468697320736d616c6c00000000000000000000606482015290519081900360840190fd5b336000908152600a60209081526040808320600b909252822090918381805b6000831115620022fd57845460009086906000198101908110620021e257fe5b9060005260206000209060020201905060006200220d82600101544262001f1790919063ffffffff16565b825490915060009086106200229457825462002230908363ffffffff620018d516565b90506200223e858262002b1f565b94506200224c848262002b54565b935062002260878263ffffffff62001f5b16565b83549097506200227890879063ffffffff62001f1716565b88549096506200228d89600019830162002bcc565b50620022f4565b620022a6868363ffffffff620018d516565b9050620022b4858262002b1f565b9450620022c2848262002b54565b9350620022d6878263ffffffff62001f5b16565b8354909750620022ed908763ffffffff62001f1716565b8355600095505b505050620021c2565b600186015462002314908563ffffffff62001f1716565b600187015585546200232d908863ffffffff62001f1716565b865560065462002344908563ffffffff62001f1716565b6006556005546200235c908863ffffffff62001f1716565b600555600154604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152336004820152602481018d90529051600160a060020a039092169163a9059cbb916044808201926020929091908290030181600087803b158015620023cd57600080fd5b505af1158015620023e2573d6000803e3d6000fd5b505050506040513d6020811015620023f957600080fd5b5051151562002478576040805160e560020a62461bcd02815260206004820152603660248201527f536569676e696f726167654d696e696e673a207472616e73666572206f75742060448201527f6f66207374616b696e6720706f6f6c206661696c656400000000000000000000606482015290519081900360840190fd5b600254604080517f463bb3b8000000000000000000000000000000000000000000000000000000008152336004820152602481018590529051600160a060020a039092169163463bb3b8916044808201926020929091908290030181600087803b158015620024e657600080fd5b505af1158015620024fb573d6000803e3d6000fd5b505050506040513d60208110156200251257600080fd5b5051151562002591576040805160e560020a62461bcd02815260206004820152603c60248201527f536569676e696f726167654d696e696e673a2073686172655472616e7366657260448201527f206f7574206f6620756e6c6f636b656420706f6f6c206661696c656400000000606482015290519081900360840190fd5b600254604080517f99b77bae000000000000000000000000000000000000000000000000000000008152336004820152602481018490529051600160a060020a03909216916399b77bae916044808201926020929091908290030181600087803b158015620025ff57600080fd5b505af115801562002614573d6000803e3d6000fd5b505050506040513d60208110156200262b57600080fd5b50511515620026aa576040805160e560020a62461bcd02815260206004820152603d60248201527f536569676e696f726167654d696e696e673a20646f6c6c61725472616e73666560448201527f72206f7574206f6620756e6c6f636b656420706f6f6c206661696c6564000000606482015290519081900360840190fd5b337faf01bfc8475df280aca00b578c4a948e6d95700f0db8c13365240f7f973c87548b620026d88362000bdb565b6040805192835260208301919091526060828201819052600090830152519081900360a00190a260408051838152905133917f896e034966eaaf1adc54acc0f257056febbd300c9e47182cf761982cf1f5e430919081900360200190a260408051828152905133917f73d69bb90b7bdb667efce3dc45291c84e8a78ff28707c146d6343ff2b28ece76919081900360200190a2600554158062002784575060006200278262000dc0565b115b151562002827576040805160e560020a62461bcd02815260206004820152605260248201527f536569676e696f726167654d696e696e673a204572726f7220756e7374616b6960448201527f6e672e205374616b696e67207368617265732065786973742c20627574206e6f60648201527f207374616b696e6720746f6b656e7320646f0000000000000000000000000000608482015290519081900360a40190fd5b90975095505050505050915091565b3390565b600160a060020a0381161515620028c1576040805160e560020a62461bcd02815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f6464726573730000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b60008054604051600160a060020a03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600080600c838154811015156200293c57fe5b906000526020600020906006020190508060000154816001015410151562002969576000915050620007e8565b60038101546000904210156200297f57620029e9565b60048201544210620029b55760018201548254620029a39163ffffffff62001f1716565b600483015460028401559050620029e9565b620029e08260050154620007d78460000154620007ca86600201544262001f1790919063ffffffff16565b42600284015590505b600182015462002a00908263ffffffff62001f5b16565b6001909201919091559050919050565b60008181841162002aa55760405160e560020a62461bcd0281526004018080602001828103825283818151815260200191508051906020019080838360005b8381101562002a6957818101518382015260200162002a4f565b50505050905090810190601f16801562002a975780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581151562002ab457fe5b0495945050505050565b6000818484111562002b175760405160e560020a62461bcd0281526004018080602001828103825283818151815260200191508051906020019080838360008381101562002a6957818101518382015260200162002a4f565b505050900390565b60008062002b38600654620007d785620007ca62001352565b905062002b4c848263ffffffff62001f5b16565b949350505050565b60008062002b38600654620007d785620007ca6200146c565b6040516106798062002c1a83390190565b60c0604051908101604052806000815260200160008152602001600081526020016000815260200160008152602001600081525090565b604080518082019091526000808252602082015290565b815481835581811115620007fa57600083815260209020620007fa91620009dd9160029182028101918502015b8082111562002c15576000808255600182015560020162002bf9565b509056fe608060405234801561001057600080fd5b506040516020806106798339810180604052602081101561003057600080fd5b50516100436401000000006100b0810204565b60008054600160a060020a031916600160a060020a03928316178082556040519216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a360018054600160a060020a031916600160a060020a03929092169190911790556100b4565b3390565b6105b6806100c36000396000f3fe6080604052600436106100825763ffffffff7c0100000000000000000000000000000000000000000000000000000000600035041663715018a681146100875780638da5cb5b1461009e5780638f32d59b146100cf578063a9059cbb146100f8578063b69ef8a814610131578063f2fde38b14610158578063fc0c546a1461018b575b600080fd5b34801561009357600080fd5b5061009c6101a0565b005b3480156100aa57600080fd5b506100b3610255565b60408051600160a060020a039092168252519081900360200190f35b3480156100db57600080fd5b506100e4610264565b604080519115158252519081900360200190f35b34801561010457600080fd5b506100e46004803603604081101561011b57600080fd5b50600160a060020a038135169060200135610288565b34801561013d57600080fd5b5061014661038a565b60408051918252519081900360200190f35b34801561016457600080fd5b5061009c6004803603602081101561017b57600080fd5b5035600160a060020a031661041f565b34801561019757600080fd5b506100b3610489565b6101a8610264565b15156101fe576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b60008054604051600160a060020a03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a36000805473ffffffffffffffffffffffffffffffffffffffff19169055565b600054600160a060020a031690565b60008054600160a060020a0316610279610498565b600160a060020a031614905090565b6000610292610264565b15156102e8576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b600154604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a038681166004830152602482018690529151919092169163a9059cbb9160448083019260209291908290030181600087803b15801561035757600080fd5b505af115801561036b573d6000803e3d6000fd5b505050506040513d602081101561038157600080fd5b50519392505050565b600154604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600092600160a060020a0316916370a08231916024808301926020929190829003018186803b1580156103ee57600080fd5b505afa158015610402573d6000803e3d6000fd5b505050506040513d602081101561041857600080fd5b5051905090565b610427610264565b151561047d576040805160e560020a62461bcd02815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6104868161049c565b50565b600154600160a060020a031681565b3390565b600160a060020a0381161515610522576040805160e560020a62461bcd02815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f6464726573730000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b60008054604051600160a060020a03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a039290921691909117905556fea165627a7a723058202b1561052ddc030ac80bfb7f4c2ad9305ebe8c4dd41fb9a6749359282dd6233400294f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572a165627a7a723058207a569d21dcc9881a419dddf804860102d563406c0086ac9dd7c32a1eec8f9e0d0029

15571:21911:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28631:303;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28631:303:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;28631:303:0;-1:-1:-1;;;;;28631:303:0;;;;;;;;;;;;;;;;;;;19354:121;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19354:121:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19354:121:0;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;19354:121:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;19354:121: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;-1:-1;19354:121:0;;-1:-1:-1;19354:121:0;-1:-1:-1;19354:121:0;;;;19747:132;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19747:132:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;19747:132:0;;;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;19747:132:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;19747:132: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;-1:-1;19747:132:0;;-1:-1:-1;19747:132:0;-1:-1:-1;19747:132:0;;18992:186;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18992:186:0;;;;;;;;-1:-1:-1;;;;;18992:186:0;;;;;;;;;;;;;;32607:129;;8:9:-1;5:2;;;30:1;27;20:12;5:2;32607:129:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;32607:129:0;-1:-1:-1;;;;;32607:129:0;;;30094:1534;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30094:1534:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27862:210;;8:9:-1;5:2;;;30:1;27;20:12;5:2;27862:210:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;27862:210:0;-1:-1:-1;;;;;27862:210:0;;;31714:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;31714:105:0;;;;17732:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17732:39:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17732:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28942:309;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28942:309:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;28942:309:0;-1:-1:-1;;;;;28942:309:0;;;12981:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12981:87:0;;;;;;;;;;;;;;;;;;;;;;16426:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16426:37:0;;;;11342:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11342:140:0;;;;28180:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28180:101:0;;;;16383:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16383:36:0;;;;33198:1216;;8:9:-1;5:2;;;30:1;27;20:12;5:2;33198:1216:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33198:1216:0;;;;;;;;;;;;;22246:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22246:114:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22246:114:0;;;;;;;;;;;;;;;;;;;;;;;;;;10531:79;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10531:79:0;;;;10897:94;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10897:94:0;;;;18807:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18807:102:0;;;;31907:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;31907:109:0;;;;32490;;8:9:-1;5:2;;;30:1;27;20:12;5:2;32490:109:0;;;;32102:113;;8:9:-1;5:2;;;30:1;27;20:12;5:2;32102:113:0;;;;29259:316;;8:9:-1;5:2;;;30:1;27;20:12;5:2;29259:316:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;29259:316:0;-1:-1:-1;;;;;29259:316:0;;;21972:98;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21972:98:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21972:98:0;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;21972:98:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;21972:98: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;-1:-1;21972:98:0;;-1:-1:-1;21972:98:0;-1:-1:-1;21972:98:0;;32303:117;;8:9:-1;5:2;;;30:1;27;20:12;5:2;32303:117:0;;;;11637:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11637:109:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11637:109:0;-1:-1:-1;;;;;11637:109:0;;;34670:1452;;8:9:-1;5:2;;;30:1;27;20:12;5:2;34670:1452:0;;;;28522:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28522:101:0;;;;28631:303;-1:-1:-1;;;;;28747:17:0;;28699:7;28747:17;;;:11;:17;;;;;28785:25;;:29;-1:-1:-1;28784:142:0;;28925:1;28784:142;;;28831:78;28883:25;;28831:47;28851:6;:26;;;28831:15;:13;:15::i;:::-;:19;:47;:19;:47;:::i;:::-;:51;:78;:51;:78;:::i;:::-;28777:149;;;28631:303;;;;:::o;19354:121::-;19426:41;19436:10;19448;19460:6;19426:9;:41::i;:::-;19354:121;;;:::o;19747:132::-;19836:35;19846:10;19858:4;19864:6;19836:9;:35::i;:::-;19747:132;;;;:::o;18992:186::-;19101:11;;:24;;;;;;;;19045:6;;-1:-1:-1;;;;;19101:11:0;;:22;;:24;;;;;;;;;;;;;;:11;:24;;;5:2:-1;;;;30:1;27;20:12;5:2;19101:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19101:24:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19101:24:0;19071:13;;:26;;;;;;;;-1:-1:-1;;;;;19071:54:0;;;;:13;;;;:24;;:26;;;;;19101:24;;19071:26;;;;;;;;:13;:26;;;5:2:-1;;;;30:1;27;20:12;5:2;19071:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19071:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19071:26:0;-1:-1:-1;;;;;19071:54:0;;19064:62;;;;19144:13;;;;;;;;;-1:-1:-1;;;;;19144:13:0;-1:-1:-1;;;;;19144:24:0;;:26;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19144:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19144:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19144:26:0;;-1:-1:-1;18992:186:0;;:::o;32607:129::-;10743:9;:7;:9::i;:::-;10735:54;;;;;;;-1:-1:-1;;;;;10735:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;10735:54:0;;;;;;;;;;;;;;;32715:12;32701:27;;:::i;:::-;-1:-1:-1;;;;;32701:27:0;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;32686:12:0;:42;;-1:-1:-1;;32686:42:0;-1:-1:-1;;;;;32686:42:0;;;;;;;;;;-1:-1:-1;32607:129:0:o;30094:1534::-;30148:7;30157;30166;30175;30184;30193;30202;30224:14;:12;:14::i;:::-;;30281:30;30327:88;30396:18;;30327:50;30349:27;;30327:3;:21;;:50;;;;:::i;:88::-;30454:25;;30281:134;;-1:-1:-1;30454:53:0;;30281:134;30454:53;:29;:53;:::i;:::-;30426:25;:81;30548:3;30518:27;:33;;;30632:10;-1:-1:-1;30620:23:0;;;:11;:23;;;;;30779:20;;30726:33;;;;30620:23;;30704:96;;:56;;30548:3;30704:56;:21;:56;:::i;:96::-;30853:26;;;;30654:146;;-1:-1:-1;30853:72:0;;30654:146;30853:72;:44;:72;:::i;:::-;30811:26;;;:114;30972:3;30936:33;;;:39;31021:25;;-1:-1:-1;;31021:29:0;-1:-1:-1;31020:142:0;;31161:1;31020:142;;;31067:78;31119:25;;31067:47;31087:6;:26;;;31067:15;:13;:15::i;:78::-;30988:174;;31179:30;31241:1;31213:25;;:29;31212:147;;31358:1;31212:147;;;31259:83;31316:25;;31259:52;31284:6;:26;;;31259:20;:18;:20::i;:83::-;31179:180;;31394:13;:11;:13::i;:::-;31422:15;:13;:15::i;:::-;31452:26;;;;;31493:25;;31372:248;;;;-1:-1:-1;31452:26:0;-1:-1:-1;31493:25:0;-1:-1:-1;31533:21:0;;-1:-1:-1;31569:22:0;-1:-1:-1;31606:3:0;;-1:-1:-1;30094:1534:0;;-1:-1:-1;;;30094:1534:0:o;27862:210::-;27921:7;27969:1;27948:18;;:22;:116;;28063:1;27948:116;;;28041:18;;-1:-1:-1;;;;;28004:17:0;;;;;;:11;:17;;;;;:31;27986:74;;28041:18;27986:50;;:13;:11;:13::i;:74::-;27941:123;27862:210;-1:-1:-1;;27862:210:0:o;31714:105::-;31785:11;;:26;;;;;;;;31758:7;;-1:-1:-1;;;;;31785:11:0;;:24;;:26;;;;;;;;;;;;;;:11;:26;;;5:2:-1;;;;30:1;27;20:12;17732:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17732:39:0;;;;;:::o;28942:309::-;-1:-1:-1;;;;;29059:17:0;;29011:7;29059:17;;;:11;:17;;;;;29097:25;;:29;-1:-1:-1;29096:147:0;;29242:1;29096:147;;;29143:83;29200:25;;29143:52;29168:6;:26;;;29143:20;:18;:20::i;12981:87::-;13031:4;12981:87;:::o;16426:37::-;;;;:::o;11342:140::-;10743:9;:7;:9::i;:::-;10735:54;;;;;;;-1:-1:-1;;;;;10735:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;10735:54:0;;;;;;;;;;;;;;;11441:1;11425:6;;11404:40;;-1:-1:-1;;;;;11425:6:0;;;;11404:40;;11441:1;;11404:40;11472:1;11455:19;;-1:-1:-1;;11455:19:0;;;11342:140::o;28180:101::-;28251:12;;:22;;;;;;;;28224:7;;-1:-1:-1;;;;;28251:12:0;;:20;;:22;;;;;;;;;;;;;;:12;:22;;;5:2:-1;;;;30:1;27;20:12;16383:36:0;;;;:::o;33198:1216::-;10743:9;:7;:9::i;:::-;10735:54;;;;;;;-1:-1:-1;;;;;10735:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;10735:54:0;;;;;;;;;;;;;;;33340:19;;33315:15;:22;:44;33307:121;;;;;-1:-1:-1;;;;;33307:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33519:18;:16;:18::i;:::-;;;;;;;;33550:20;33573:13;:11;:13::i;:::-;33550:36;;33597:26;33642:1;33627:12;:16;33626:131;;33734:22;;33723:34;;:6;;:34;:10;:34;:::i;:::-;33626:131;;;33660:47;33694:12;33660:29;33682:6;33660:17;;:21;;:29;;;;:::i;:47::-;33597:160;;33770:30;;:::i;:::-;33811:49;;;33905:3;33871:31;;;:37;33919:19;;;:34;;;33984:29;33941:12;34001:11;33984:29;:16;:29;:::i;:::-;33964:17;;;:49;;;34024:20;;;:34;;;34069:15;27:10:-1;;39:1;23:18;;45:23;;-1:-1;34069:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34132:17;:41;;34154:18;34132:21;:41::i;:::-;34112:17;:61;;;34194:11;;:24;;;;;;;;-1:-1:-1;;;;;34194:11:0;;;;:22;;:24;;;;;;;;;;;;:11;:24;;;5:2:-1;;;;30:1;27;20:12;5:2;34194:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;34194:24:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;34194:24:0;34252:11;;34194:79;;;;;;34232:10;34194:79;;;;-1:-1:-1;;;;;34252:11:0;;;34194:79;;;;;;;;;;;;:37;;;;;;;:79;;;;;:24;;:79;;;;;;;34252:11;34194:37;:79;;;5:2:-1;;;;30:1;27;20:12;5:2;34194:79:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;34194:79:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;34194:79:0;34186:156;;;;;;;-1:-1:-1;;;;;34186:156:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34358:48;34371:6;34379:11;34392:13;:11;:13::i;:::-;34358:48;;;;;;;;;;;;;;;;;;;;;;;;;;10800:1;;;33198:1216;;;:::o;22246:114::-;22300:7;22309;22336:16;22345:6;22336:8;:16::i;:::-;22329:23;;;;22246:114;;;:::o;10531:79::-;10569:7;10596:6;-1:-1:-1;;;;;10596:6:0;10531:79;:::o;10897:94::-;10937:4;10977:6;;-1:-1:-1;;;;;10977:6:0;10961:12;:10;:12::i;:::-;-1:-1:-1;;;;;10961:22:0;;10954:29;;10897:94;:::o;18807:102::-;18881:12;;:20;;;;;;;;18855:6;;-1:-1:-1;;;;;18881:12:0;;:18;;:20;;;;;;;;;;;;;;:12;:20;;;5:2:-1;;;;30:1;27;20:12;31907:109:0;31980:13;;:28;;;;;;;;31953:7;;-1:-1:-1;;;;;31980:13:0;;:26;;:28;;;;;;;;;;;;;;:13;:28;;;5:2:-1;;;;30:1;27;20:12;32490:109:0;32569:15;:22;32490:109;:::o;32102:113::-;32180:11;;:27;;;;;;;;32153:7;;-1:-1:-1;;;;;32180:11:0;;:25;;:27;;;;;;;;;;;;;;:11;:27;;;5:2:-1;;;;30:1;27;20:12;29259:316:0;-1:-1:-1;;;;;29381:17:0;;29333:7;29381:17;;;:11;:17;;;;;29419:25;;:29;-1:-1:-1;29418:149:0;;29566:1;29418:149;;;29465:85;29524:25;;29465:54;29492:6;:26;;;29465:22;:20;:22::i;21972:98::-;22046:16;22055:6;22046:8;:16::i;:::-;;;21972:98;;;:::o;32303:117::-;32383:13;;:29;;;;;;;;32356:7;;-1:-1:-1;;;;;32383:13:0;;:27;;:29;;;;;;;;;;;;;;:13;:29;;;5:2:-1;;;;30:1;27;20:12;11637:109:0;10743:9;:7;:9::i;:::-;10735:54;;;;;;;-1:-1:-1;;;;;10735:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;10735:54:0;;;;;;;;;;;;;;;11710:28;11729:8;11710:18;:28::i;:::-;11637:109;:::o;34670:1452::-;34710:7;;;34800:13;:11;:13::i;:::-;34772:41;-1:-1:-1;34826:23:0;;34888:20;:18;:20::i;:::-;34864:44;;34925:17;;34946:1;34925:22;34921:619;;;34986:17;34964:39;;35036:13;35018:31;;34921:619;;;35082:22;;35123:148;35147:15;:22;35143:26;;35123:148;;;35212:43;35231:23;35252:1;35231:20;:23::i;:::-;35212:14;;:43;:18;:43;:::i;:::-;35195:60;-1:-1:-1;35171:3:0;;35123:148;;;-1:-1:-1;35349:17:0;;35307:60;;:37;:14;35326:17;35307:37;:18;:37;:::i;:60::-;35438:17;;35285:82;;-1:-1:-1;35400:56:0;;:33;:14;35419:13;35400:33;:18;:33;:::i;:56::-;35491:17;;35382:74;;-1:-1:-1;35491:37:0;;35513:14;35491:37;:21;:37;:::i;:::-;35471:17;:57;-1:-1:-1;34921:619:0;35578:1;35556:19;:23;35552:524;;;35604:11;;35638:13;;35604:70;;;;;;-1:-1:-1;;;;;35638:13:0;;;35604:70;;;;;;;;;;;;:11;;;;;:25;;:70;;;;;;;;;;;;;;:11;;:70;;;5:2:-1;;;;30:1;27;20:12;5:2;35604:70:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;35604:70:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;35604:70:0;35596:158;;;;;;;-1:-1:-1;;;;;35596:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;35777:11;;35812:13;;35777:67;;;;;;-1:-1:-1;;;;;35812:13:0;;;35777:67;;;;;;;;;;;;:11;;;;;:26;;:67;;;;;;;;;;;;;;:11;;:67;;;5:2:-1;;;;30:1;27;20:12;5:2;35777:67:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;35777:67:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;35777:67:0;35769:156;;;;;;;-1:-1:-1;;;;;35769:156:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;35947:50;35962:19;35983:13;:11;:13::i;:::-;35947:50;;;;;;;;;;;;;;;;;;;;;;36017:47;36033:15;36050:13;:11;:13::i;:::-;36017:47;;;;;;;;;;;;;;;;;;;;;;35552:524;-1:-1:-1;36095:19:0;;-1:-1:-1;;;34670:1452:0;:::o;28522:101::-;28562:7;28597:17;:15;:17::i;:::-;28582:33;;28522:101;:::o;2293:471::-;2351:7;2596:6;;2592:47;;;-1:-1:-1;2626:1:0;2619:8;;2592:47;2663:5;;;2667:1;2663;:5;2687;;;;;;;;:10;2679:56;;;;;-1:-1:-1;;;;;2679:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2755:1;2293:471;-1:-1:-1;;;2293:471:0:o;3232:132::-;3290:7;3317:39;3321:1;3324;3317:39;;;;;;;;;;;;;;;;;;:3;:39::i;20166:1537::-;20274:1;20265:10;;20257:62;;;;;-1:-1:-1;;;;;20257:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;20338:25:0;;;;20330:84;;;;;-1:-1:-1;;;;;20330:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20433:18;;:23;;:44;;;20476:1;20460:13;:11;:13::i;:::-;:17;20433:44;20425:154;;;;;;;-1:-1:-1;;;;;20425:154:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20592:27;20644:1;20623:18;;:22;20622:139;;20738:22;;20727:34;;:6;;:34;:10;:34;:::i;:::-;20622:139;;;20662:49;20697:13;:11;:13::i;:::-;20662:18;;:30;;20685:6;20662:30;:22;:30;:::i;:49::-;20592:169;-1:-1:-1;20802:1:0;20780:23;;20772:80;;;;;-1:-1:-1;;;;;20772:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20865:18;:16;:18::i;:::-;-1:-1:-1;;;;;;;;;20955:24:0;;20927:25;20955:24;;;:11;:24;;;;;21013:20;;20955:24;;-1:-1:-1;21013:45:0;;-1:-1:-1;21013:20:0;-1:-1:-1;21038:19:0;21013:24;:45::i;:::-;20990:68;;21105:3;21069:33;;;:39;21121:21;;:::i;:::-;-1:-1:-1;21145:31:0;;;;;;;;;;;21172:3;21145:31;;;;;;;-1:-1:-1;;;;;21187:24:0;;-1:-1:-1;21187:24:0;;;:11;:24;;;;;27:10:-1;;39:1;23:18;;;45:23;;21187:39:0;;;;;;;;;;;;;;;;;;;;;;;;;21293:18;;:43;;21151:19;21293:43;:22;:43;:::i;:::-;21272:18;:64;21475:12;;:20;;;;;;;;-1:-1:-1;;;;;21475:12:0;;;;:18;;:20;;;;;;;;;;;;;;;:12;:20;;;5:2:-1;;;;30:1;27;20:12;5:2;21475:20:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21475:20:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21475:20:0;21525:12;;21475:72;;;;;;-1:-1:-1;;;;;21475:72:0;;;;;;;21525:12;;;21475:72;;;;;;;;;;;;:33;;;;;;;:72;;;;;:20;;:72;;;;;;;21525:12;21475:33;:72;;;5:2:-1;;;;30:1;27;20:12;5:2;21475:72:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21475:72:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21475:72:0;21467:150;;;;;;;-1:-1:-1;;;;;21467:150:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21642:11;-1:-1:-1;;;;;21635:60:0;;21655:6;21663:27;21678:11;21663:14;:27::i;:::-;21635:60;;;;;;;;;;;;;;;;;;;;-1:-1:-1;21635:60:0;;;;;;;;;;;;;20166:1537;;;;;;:::o;1377:136::-;1435:7;1462:43;1466:1;1469;1462:43;;;;;;;;;;;;;;;;;;:3;:43::i;921:181::-;979:7;1011:5;;;1035:6;;;;1027:46;;;;;-1:-1:-1;;;;;1027:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;22665:3901;22716:7;22725;22745:18;:16;:18::i;:::-;;;;;;;;22812:1;22803:6;:10;22795:64;;;;;;;-1:-1:-1;;;;;22795:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22908:6;22878:26;22893:10;22878:14;:26::i;:::-;:36;;22870:129;;;;;-1:-1:-1;;;;;22870:129:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23010:27;23040:49;23075:13;:11;:13::i;:::-;23040:18;;:30;;23063:6;23040:30;:22;:30;:::i;:49::-;23010:79;-1:-1:-1;23130:1:0;23108:23;;23100:90;;;;;-1:-1:-1;;;;;23100:90:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23274:10;23234:25;23262:23;;;:11;:23;;;;;;;;23328:11;:23;;;;;23262;;23507:19;23234:25;;23613:1494;23639:1;23620:16;:20;23613:1494;;;23697:20;;23657:23;;23683:13;;-1:-1:-1;;23697:24:0;;;23683:39;;;;;;;;;;;;;;;;23657:65;;23737:20;23760:31;23768:9;:22;;;23760:3;:7;;:31;;;;:::i;:::-;23865:23;;23737:54;;-1:-1:-1;23806:36:0;;23865:43;-1:-1:-1;23861:1235:0;;24006:23;;:41;;24034:12;24006:41;:27;:41;:::i;:::-;23975:72;;24081:60;24098:12;24112:28;24081:16;:60::i;:::-;24066:75;;24181:72;24204:18;24224:28;24181:22;:72::i;:::-;24160:93;-1:-1:-1;24300:59:0;:25;24330:28;24300:59;:29;:59;:::i;:::-;24418:23;;24272:87;;-1:-1:-1;24397:45:0;;:16;;:45;:20;:45;:::i;:::-;24461:22;;24378:64;;-1:-1:-1;24461:22:0;:13;-1:-1:-1;;24461:22:0;;;:::i;:::-;;23861:1235;;;24605:34;:16;24626:12;24605:34;:20;:34;:::i;:::-;24574:65;;24673:60;24690:12;24704:28;24673:16;:60::i;:::-;24658:75;;24773:72;24796:18;24816:28;24773:22;:72::i;:::-;24752:93;-1:-1:-1;24892:59:0;:25;24922:28;24892:59;:29;:59;:::i;:::-;24996:23;;24864:87;;-1:-1:-1;24996:45:0;;25024:16;24996:45;:27;:45;:::i;:::-;24970:71;;:23;;-1:-1:-1;23861:1235:0;23613:1494;;;;;;25146:26;;;;:57;;25177:25;25146:57;:30;:57;:::i;:::-;25117:26;;;:86;25237:20;;:45;;25262:19;25237:45;:24;:45;:::i;:::-;25214:68;;25453:25;;:56;;25483:25;25453:56;:29;:56;:::i;:::-;25425:25;:84;25541:18;;:43;;25564:19;25541:43;:22;:43;:::i;:::-;25520:18;:64;25721:12;;:41;;;;;;25743:10;25721:41;;;;;;;;;;;;-1:-1:-1;;;;;25721:12:0;;;;:21;;:41;;;;;;;;;;;;;;;:12;;:41;;;5:2:-1;;;;30:1;27;20:12;5:2;25721:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25721:41:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25721:41:0;25713:121;;;;;;;-1:-1:-1;;;;;25713:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25853:13;;:53;;;;;;25881:10;25853:53;;;;;;;;;;;;-1:-1:-1;;;;;25853:13:0;;;;:27;;:53;;;;;;;;;;;;;;;:13;;:53;;;5:2:-1;;;;30:1;27;20:12;5:2;25853:53:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25853:53:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25853:53:0;25845:139;;;;;;;-1:-1:-1;;;;;25845:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26003:13;;:60;;;;;;26032:10;26003:60;;;;;;;;;;;;-1:-1:-1;;;;;26003:13:0;;;;:28;;:60;;;;;;;;;;;;;;;:13;;:60;;;5:2:-1;;;;30:1;27;20:12;5:2;26003:60:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26003:60:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26003:60:0;25995:147;;;;;;;-1:-1:-1;;;;;25995:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26169:10;26160:60;26181:6;26189:26;26169:10;26189:14;:26::i;:::-;26160:60;;;;;;;;;;;;;;;;;;;;-1:-1:-1;26160:60:0;;;;;;;;;;;;;26236:39;;;;;;;;26250:10;;26236:39;;;;;;;;;;26291:46;;;;;;;;26306:10;;26291:46;;;;;;;;;;26358:18;;:23;;:44;;;26401:1;26385:13;:11;:13::i;:::-;:17;26358:44;26350:156;;;;;;;-1:-1:-1;;;;;26350:156:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26525:12;;-1:-1:-1;26539:18:0;-1:-1:-1;;;;;;22665:3901:0;;;:::o;9272:98::-;9352:10;9272:98;:::o;11852:229::-;-1:-1:-1;;;;;11926:22:0;;;;11918:73;;;;;-1:-1:-1;;;;;11918:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12028:6;;;12007:38;;-1:-1:-1;;;;;12007:38:0;;;;12028:6;;;12007:38;;;12056:6;:17;;-1:-1:-1;;12056:17:0;-1:-1:-1;;;;;12056:17:0;;;;;;;;;;11852:229::o;36492:987::-;36550:7;36570:31;36604:15;36620:1;36604:18;;;;;;;;;;;;;;;;;;;;36570:52;;36665:8;:28;;;36638:8;:23;;;:55;;36635:95;;;36717:1;36710:8;;;;;36635:95;36789:19;;;;36742:22;;36783:3;:25;36779:579;;;;;;36866:17;;;;36859:3;:24;36855:503;;37017:23;;;;36984:28;;:57;;;:32;:57;:::i;:::-;37091:17;;;;37057:31;;;:51;36966:76;-1:-1:-1;36855:503:0;;;37158:136;37273:8;:20;;;37158:92;37221:8;:28;;;37158:40;37166:8;:31;;;37158:3;:7;;:40;;;;:::i;:136::-;37343:3;37309:31;;;:37;37141:153;-1:-1:-1;36855:503:0;37396:23;;;;:43;;37424:14;37396:43;:27;:43;:::i;:::-;37370:23;;;;:69;;;;37457:14;-1:-1:-1;36492:987:0;;;:::o;3894:345::-;3980:7;4082:12;4075:5;;;4067:28;;;;-1:-1:-1;;;;;4067:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;4067:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4106:9;4122:1;4118;:5;;;;;;;;;3894:345;-1:-1:-1;;;;;3894:345:0:o;1850:192::-;1936:7;1972:12;1964:6;;;;1956:29;;;;-1:-1:-1;;;;;1956:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;1956:29:0;-1:-1:-1;;;2008:5:0;;;1850:192::o;26951:367::-;27090:7;27112:23;27151:99;27224:25;;27151:54;27185:19;27151:15;:13;:15::i;:99::-;27112:138;-1:-1:-1;27270:40:0;:19;27112:138;27270:40;:23;:40;:::i;:::-;27263:47;26951:367;-1:-1:-1;;;;26951:367:0:o;27326:380::-;27471:7;27493:23;27532:106;27612:25;;27532:61;27573:19;27532:22;:20;:22::i;15571:21911::-;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;-1:-1:-1;15571:21911:0;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

bzzr://d4d5e63c2764939fad4b61bdd9b9aa0a564821d0ab3ba08e21bdf159cb291f1f