Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Initializable    - function isConstructor()  contract Ownable is Initializable    - function initialize(address sender)    - function owner()    - function isOwner()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...    - function lockOwnership() interface IERC20    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract ERC20Detailed is Initiali ...    - function initialize( string memory na ...    - function name()    - function symbol()    - function decimals() 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 ... library SafeMathInt    - function mul(int256 a, int256 b)    - function div(int256 a, int256 b)    - function sub(int256 a, int256 b)    - function add(int256 a, int256 b)    - function abs(int256 a)  contract VAMP is Ownable, ERC20Det ... *    - function setRebaser(address _rebaser)    - function rebase(int256 supplyDelta)    - function totalSupply()    - function balanceOf(address who)    - function transfer(address to, uint256 ...    - function allowance(address owner_, ad ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function addTransaction(address desti ...    - function removeTransaction(uint index ...    - function setTransactionEnabled(uint i ...    - function transactionsSize()    - function externalCall(address destina ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-26
*/

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

pragma solidity 0.5.17;

/* 
    VAMP.sol

    Elastic Supply ERC20 Token with randomized rebasing.
    
    Forked from Ampleforth: https://github.com/ampleforth/uFragments
    
    GPL 3.0 license.
    
    VAMP.sol - Basic ERC20 Token with rebase functionality
    Rebaser.sol - Handles decentralized, autonomous, random rebasing on-chain. 
    
    Rebaser.sol will be upgraded as the project progresses. Ownership of VAMP.sol can be changed to new versions of Rebaser.sol as they are released.
    
    See github for more info and latest versions: https://github.com/VAMPdefiteam
    
    Once a final version has been agreed, owner address of VAMP.sol will be locked to ensure completely decentralised operation forever.
    
*/

contract Initializable {

  bool private initialized;
  bool private initializing;

  modifier initializer() {
    require(initializing || isConstructor() || !initialized, "Contract instance has already been initialized");

    bool wasInitializing = initializing;
    initializing = true;
    initialized = true;

    _;

    initializing = wasInitializing;
  }

  function isConstructor() private view returns (bool) {
    uint256 cs;
    assembly { cs := extcodesize(address) }
    return cs == 0;
  }

  uint256[50] private ______gap;
}

contract Ownable is Initializable {

  address private _owner;
  uint256 private _ownershipLocked;

  event OwnershipLocked(address lockedOwner);
  event OwnershipRenounced(address indexed previousOwner);
  event OwnershipTransferred(
    address indexed previousOwner,
    address indexed newOwner
  );


  function initialize(address sender) internal initializer {
    _owner = sender;
	_ownershipLocked = 0;
  }

  function owner() public view returns(address) {
    return _owner;
  }

  modifier onlyOwner() {
    require(isOwner());
    _;
  }

  function isOwner() public view returns(bool) {
    return msg.sender == _owner;
  }

  function transferOwnership(address newOwner) public onlyOwner {
    _transferOwnership(newOwner);
  }

  function _transferOwnership(address newOwner) internal {
    require(_ownershipLocked == 0);
    require(newOwner != address(0));
    emit OwnershipTransferred(_owner, newOwner);
    _owner = newOwner;
  }
  
  // Set _ownershipLocked flag to lock contract owner forever
  function lockOwnership() public onlyOwner {
	require(_ownershipLocked == 0);
	emit OwnershipLocked(_owner);
    _ownershipLocked = 1;
  }

  uint256[50] private ______gap;
}

interface IERC20 {
  function totalSupply() external view returns (uint256);

  function balanceOf(address who) external view returns (uint256);

  function allowance(address owner, address spender)
    external view returns (uint256);

  function transfer(address to, uint256 value) external returns (bool);

  function approve(address spender, uint256 value)
    external returns (bool);

  function transferFrom(address from, address to, uint256 value)
    external returns (bool);

  event Transfer(
    address indexed from,
    address indexed to,
    uint256 value
  );

  event Approval(
    address indexed owner,
    address indexed spender,
    uint256 value
  );
}

contract ERC20Detailed is Initializable, IERC20 {
  string private _name;
  string private _symbol;
  uint8 private _decimals;

  function initialize( string memory name, string memory symbol, uint8  decimals) internal initializer {
    _name = name;
    _symbol = symbol;
    _decimals = decimals;
  }

  function name() public view returns(string memory) {
    return _name;
  }

  function symbol() public view returns(string memory) {
    return _symbol;
  }

  function decimals() public view returns(uint8) {
    return _decimals;
  }

  uint256[50] private ______gap;
}

library SafeMath {

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

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

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;

        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

/*
MIT License

Copyright (c) 2018 requestnetwork
Copyright (c) 2018 Fragments, Inc.

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
*/

library SafeMathInt {

    int256 private constant MIN_INT256 = int256(1) << 255;
    int256 private constant MAX_INT256 = ~(int256(1) << 255);

    function mul(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        int256 c = a * b;

        // Detect overflow when multiplying MIN_INT256 with -1
        require(c != MIN_INT256 || (a & MIN_INT256) != (b & MIN_INT256));
        require((b == 0) || (c / b == a));
        return c;
    }

    function div(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        // Prevent overflow when dividing MIN_INT256 by -1
        require(b != -1 || a != MIN_INT256);

        // Solidity already throws when dividing by 0.
        return a / b;
    }

    function sub(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        int256 c = a - b;
        require((b >= 0 && c <= a) || (b < 0 && c > a));
        return c;
    }

    function add(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        int256 c = a + b;
        require((b >= 0 && c >= a) || (b < 0 && c < a));
        return c;
    }

    function abs(int256 a)
        internal
        pure
        returns (int256)
    {
        require(a != MIN_INT256);
        return a < 0 ? -a : a;
    }
}

contract VAMP is Ownable, ERC20Detailed {

	// PLEASE READ BEFORE CHANGING ANY ACCOUNTING OR MATH
    // Anytime there is division, there is a risk of numerical instability from rounding errors. In
    // order to minimize this risk, we adhere to the following guidelines:
    // 1) The conversion rate adopted is the number of gons that equals 1 fragment.
    //    The inverse rate must not be used--TOTAL_GONS is always the numerator and _totalSupply is
    //    always the denominator. (i.e. If you want to convert gons to fragments instead of
    //    multiplying by the inverse rate, you should divide by the normal rate)
    // 2) Gon balances converted into Fragments are always rounded down (truncated).
    //
    // We make the following guarantees:
    // - If address 'A' transfers x Fragments to address 'B'. A's resulting external balance will
    //   be decreased by precisely x Fragments, and B's external balance will be precisely
    //   increased by x Fragments.
    //
    // We do not guarantee that the sum of all balances equals the result of calling totalSupply().
    // This is because, for any conversion function 'f()' that has non-zero rounding error,
    // f(x0) + f(x1) + ... + f(xn) is not always equal to f(x0 + x1 + ... xn).
	

    using SafeMath for uint256;
    using SafeMathInt for int256;
	
	struct Transaction {
        bool enabled;
        address destination;
        bytes data;
    }

    event TransactionFailed(address indexed destination, uint index, bytes data);
	
	// Stable ordering is not guaranteed.

    Transaction[] public transactions;

    event LogRebase(uint256 indexed epoch, uint256 totalSupply);

    modifier validRecipient(address to) {
        require(to != address(0x0));
        require(to != address(this));
        _;
    }

    uint256 private constant DECIMALS = 18;
    uint256 private constant MAX_UINT256 = ~uint256(0);
    uint256 private constant INITIAL_FRAGMENTS_SUPPLY = 13750000 * 10**DECIMALS;

	// TOTAL_GONS is a multiple of INITIAL_FRAGMENTS_SUPPLY so that _gonsPerFragment is an integer.
    // Use the highest value that fits in a uint256 for max granularity.
    uint256 private constant TOTAL_GONS = MAX_UINT256 - (MAX_UINT256 % INITIAL_FRAGMENTS_SUPPLY);

	// MAX_SUPPLY = maximum integer < (sqrt(4*TOTAL_GONS + 1) - 1) / 2
    uint256 private constant MAX_SUPPLY = ~uint128(0);  // (2^128) - 1
	
	uint256 private _epoch;

    uint256 private _totalSupply;
    uint256 private _gonsPerFragment;
    address private rebaser;
    mapping(address => uint256) private _gonBalances;
	
	// This is denominated in Fragments, because the gons-fragments conversion might change before
    // it's fully paid.
    mapping (address => mapping (address => uint256)) private _allowedFragments;

    
  modifier onlyRebaser() {
    require(msg.sender == rebaser);
    _;
  }

    function setRebaser(address _rebaser) public onlyOwner {
        rebaser = _rebaser;
    }

	/**
     * @dev Notifies Fragments contract about a new rebase cycle.
     * @param supplyDelta The number of new fragment tokens to add into circulation via expansion.
     * @return The total number of fragments after the supply adjustment.
     */
    function rebase(int256 supplyDelta)
        external
        onlyRebaser
        returns (uint256)
    {
	
		_epoch = _epoch.add(1);
		
        if (supplyDelta == 0) {
            emit LogRebase(_epoch, _totalSupply);
            return _totalSupply;
        }

        if (supplyDelta < 0) {
            _totalSupply = _totalSupply.sub(uint256(supplyDelta.abs()));
        } else {
            _totalSupply = _totalSupply.add(uint256(supplyDelta));
        }

        if (_totalSupply > MAX_SUPPLY) {
            _totalSupply = MAX_SUPPLY;
        }

        _gonsPerFragment = TOTAL_GONS.div(_totalSupply);
		
		// From this point forward, _gonsPerFragment is taken as the source of truth.
        // We recalculate a new _totalSupply to be in agreement with the _gonsPerFragment
        // conversion rate.
        // This means our applied supplyDelta can deviate from the requested supplyDelta,
        // but this deviation is guaranteed to be < (_totalSupply^2)/(TOTAL_GONS - _totalSupply).
        //
        // In the case of _totalSupply <= MAX_UINT128 (our current supply cap), this
        // deviation is guaranteed to be < 1, so we can omit this step. If the supply cap is
        // ever increased, it must be re-included.
        // _totalSupply = TOTAL_GONS.div(_gonsPerFragment)
		
		emit LogRebase(_epoch, _totalSupply);

		for (uint i = 0; i < transactions.length; i++) {
            Transaction storage t = transactions[i];
            if (t.enabled) {
                bool result = externalCall(t.destination, t.data);
                if (!result) {
                    emit TransactionFailed(t.destination, i, t.data);
                    revert("Transaction Failed");
                }
            }
        }
		
        return _totalSupply;
    }
	
	constructor() public {
	
		Ownable.initialize(msg.sender);
		ERC20Detailed.initialize("Vampire Protocol", "VAMP", uint8(DECIMALS));
        
        _totalSupply = INITIAL_FRAGMENTS_SUPPLY;
        _gonBalances[msg.sender] = TOTAL_GONS;
        _gonsPerFragment = TOTAL_GONS.div(_totalSupply);

        emit Transfer(address(0x0), msg.sender, _totalSupply);
    }

	
	/**
     * @return The total number of fragments.
     */

    function totalSupply()
        public
        view
        returns (uint256)
    {
        return _totalSupply;
    }
	
	/**
     * @param who The address to query.
     * @return The balance of the specified address.
     */

    function balanceOf(address who)
        public
        view
        returns (uint256)
    {
        return _gonBalances[who].div(_gonsPerFragment);
    }

	/**
     * @dev Transfer tokens to a specified address.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     * @return True on success, false otherwise.
     */
	 
    function transfer(address to, uint256 value)
        public
        validRecipient(to)
        returns (bool)
    {
        uint256 merValue = value.mul(_gonsPerFragment);
        _gonBalances[msg.sender] = _gonBalances[msg.sender].sub(merValue);
        _gonBalances[to] = _gonBalances[to].add(merValue);
        emit Transfer(msg.sender, to, value);
        return true;
    }

	/**
     * @dev Function to check the amount of tokens that an owner has allowed to a spender.
     * @param owner_ The address which owns the funds.
     * @param spender The address which will spend the funds.
     * @return The number of tokens still available for the spender.
     */
	 
    function allowance(address owner_, address spender)
        public
        view
        returns (uint256)
    {
        return _allowedFragments[owner_][spender];
    }
	
	/**
     * @dev Transfer tokens from one address to another.
     * @param from The address you want to send tokens from.
     * @param to The address you want to transfer to.
     * @param value The amount of tokens to be transferred.
     */

    function transferFrom(address from, address to, uint256 value)
        public
        validRecipient(to)
        returns (bool)
    {
        _allowedFragments[from][msg.sender] = _allowedFragments[from][msg.sender].sub(value);

        uint256 merValue = value.mul(_gonsPerFragment);
        _gonBalances[from] = _gonBalances[from].sub(merValue);
        _gonBalances[to] = _gonBalances[to].add(merValue);
        emit Transfer(from, to, value);

        return true;
    }
	
	/**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of
     * msg.sender. This method is included for ERC20 compatibility.
     * increaseAllowance and decreaseAllowance should be used instead.
     * Changing an allowance with this method brings the risk that someone may transfer both
     * the old and the new allowance - if they are both greater than zero - if a transfer
     * transaction is mined before the later approve() call is mined.
     *
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */

    function approve(address spender, uint256 value)
        public
        returns (bool)
    {
        _allowedFragments[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }
	
	/**
     * @dev Increase the amount of tokens that an owner has allowed to a spender.
     * This method should be used instead of approve() to avoid the double approval vulnerability
     * described above.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */

    function increaseAllowance(address spender, uint256 addedValue)
        public
        returns (bool)
    {
        _allowedFragments[msg.sender][spender] =
            _allowedFragments[msg.sender][spender].add(addedValue);
        emit Approval(msg.sender, spender, _allowedFragments[msg.sender][spender]);
        return true;
    }
	
	/**
     * @dev Decrease the amount of tokens that an owner has allowed to a spender.
     *
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */

    function decreaseAllowance(address spender, uint256 subtractedValue)
        public
        returns (bool)
    {
        uint256 oldValue = _allowedFragments[msg.sender][spender];
        if (subtractedValue >= oldValue) {
            _allowedFragments[msg.sender][spender] = 0;
        } else {
            _allowedFragments[msg.sender][spender] = oldValue.sub(subtractedValue);
        }
        emit Approval(msg.sender, spender, _allowedFragments[msg.sender][spender]);
        return true;
    }
	
	/**
     * @notice Adds a transaction that gets called for a downstream receiver of rebases
     * @param destination Address of contract destination
     * @param data Transaction data payload
     */
	
    function addTransaction(address destination, bytes calldata data)
        external
        onlyOwner
    {
        transactions.push(Transaction({
            enabled: true,
            destination: destination,
            data: data
        }));
    }
	
	/**
     * @param index Index of transaction to remove.
     *              Transaction ordering may have changed since adding.
     */

    function removeTransaction(uint index)
        external
        onlyOwner
    {
        require(index < transactions.length, "index out of bounds");

        if (index < transactions.length - 1) {
            transactions[index] = transactions[transactions.length - 1];
        }

        transactions.length--;
    }
	
	/**
     * @param index Index of transaction. Transaction ordering may have changed since adding.
     * @param enabled True for enabled, false for disabled.
     */

    function setTransactionEnabled(uint index, bool enabled)
        external
        onlyOwner
    {
        require(index < transactions.length, "index must be in range of stored tx list");
        transactions[index].enabled = enabled;
    }
	
	/**
     * @return Number of transactions, both enabled and disabled, in transactions list.
     */

    function transactionsSize()
        external
        view
        returns (uint256)
    {
        return transactions.length;
    }
	
	/**
     * @dev wrapper to call the encoded transactions on downstream consumers.
     * @param destination Address of destination contract.
     * @param data The encoded data payload.
     * @return True on success
     */

    function externalCall(address destination, bytes memory data)
        internal
        returns (bool)
    {
        bool result;
        assembly {  // solhint-disable-line no-inline-assembly
            // "Allocate" memory for output
            // (0x40 is where "free memory" pointer is stored by convention)
            let outputAddress := mload(0x40)

            // First 32 bytes are the padded length of data, so exclude that
            let dataAddress := add(data, 32)

            result := call(
                // 34710 is the value that solidity is currently emitting
                // It includes callGas (700) + callVeryLow (3, to pay for SUB)
                // + callValueTransferGas (9000) + callNewAccountGas
                // (25000, in case the destination address does not exist and needs creating)
                sub(gas, 34710),


                destination,
                0, // transfer value in wei
                dataAddress,
                mload(data),  // Size of the input, in bytes. Stored in position 0 of the array.
                outputAddress,
                0  // Output is ignored, therefore the output size is zero
            )
        }
        return result;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"epoch","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"totalSupply","type":"uint256"}],"name":"LogRebase","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"lockedOwner","type":"address"}],"name":"OwnershipLocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"destination","type":"address"},{"indexed":false,"internalType":"uint256","name":"index","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"TransactionFailed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":false,"inputs":[{"internalType":"address","name":"destination","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"addTransaction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner_","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"who","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"lockOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"int256","name":"supplyDelta","type":"int256"}],"name":"rebase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"removeTransaction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_rebaser","type":"address"}],"name":"setRebaser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"bool","name":"enabled","type":"bool"}],"name":"setTransactionEnabled","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"transactions","outputs":[{"internalType":"bool","name":"enabled","type":"bool"},{"internalType":"address","name":"destination","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"transactionsSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5062000028336200011360201b6200172c1760201c565b620000856040518060400160405280601081526020016f15985b5c1a5c9948141c9bdd1bd8dbdb60821b81525060405180604001604052806004815260200163056414d560e41b8152506012620001d760201b620017e11760201c565b6a0b5facfe5b81c365c00000609e90815533600090815260a1602090815260409091206a098b933fc4a4a1c77fffff19908190559154620000d0929162001340620002c9821b17901c565b609f55609e54604080519182525133916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a36200046a565b600054610100900460ff1680620001385750620001386001600160e01b036200031a16565b8062000147575060005460ff16155b620001845760405162461bcd60e51b815260040180806020018281038252602e81526020018062001dec602e913960400191505060405180910390fd5b60008054603380546001600160a01b0319166001600160a01b039490941693909317909255603481905561ff001980831661010090811760ff19166001179091169281900460ff16151502919091179055565b600054610100900460ff1680620001fc5750620001fc6001600160e01b036200031a16565b806200020b575060005460ff16155b620002485760405162461bcd60e51b815260040180806020018281038252602e81526020018062001dec602e913960400191505060405180910390fd5b60008054600161010061ff00198316811760ff191691909117909255845191900460ff169062000280906067906020870190620003c8565b50825162000296906068906020860190620003c8565b506069805460ff90931660ff1990931692909217909155600080549115156101000261ff00199092169190911790555050565b60006200031383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506200032160201b60201c565b9392505050565b303b155b90565b60008183620003b15760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015620003755781810151838201526020016200035b565b50505050905090810190601f168015620003a35780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581620003be57fe5b0495945050505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200040b57805160ff19168380011785556200043b565b828001600101855582156200043b579182015b828111156200043b5782518255916020019190600101906200041e565b50620004499291506200044d565b5090565b6200031e91905b8082111562000449576000815560010162000454565b611972806200047a6000396000f3fe608060405234801561001057600080fd5b50600436106101425760003560e01c806370a08231116100b85780639ace38c21161007c5780639ace38c2146103e9578063a457c2d7146104a2578063a9059cbb146104ce578063dd62ed3e146104fa578063e46adf6214610528578063f2fde38b1461054e57610142565b806370a08231146103875780638da5cb5b146103ad5780638f32d59b146103d157806391d4ec18146103d957806395d89b41146103e157610142565b806318160ddd1161010a57806318160ddd146102bd57806323b872dd146102c5578063313ce567146102fb578063395093511461031957806346c3bd1f146103455780636e9dde991461036257610142565b80630577c02b1461014757806306fdde0314610151578063095ea7b3146101ce5780630ab114f91461020e578063126e19be1461023d575b600080fd5b61014f610574565b005b6101596105d8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561019357818101518382015260200161017b565b50505050905090810190601f1680156101c05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101fa600480360360408110156101e457600080fd5b506001600160a01b03813516906020013561066f565b604080519115158252519081900360200190f35b61022b6004803603602081101561022457600080fd5b50356106d6565b60408051918252519081900360200190f35b61014f6004803603604081101561025357600080fd5b6001600160a01b03823516919081019060408101602082013564010000000081111561027e57600080fd5b82018360208201111561029057600080fd5b803590602001918460018302840111640100000000831117156102b257600080fd5b509092509050610a0b565b61022b610aeb565b6101fa600480360360608110156102db57600080fd5b506001600160a01b03813581169160208101359091169060400135610af1565b610303610c50565b6040805160ff9092168252519081900360200190f35b6101fa6004803603604081101561032f57600080fd5b506001600160a01b038135169060200135610c59565b61014f6004803603602081101561035b57600080fd5b5035610cf2565b61014f6004803603604081101561037857600080fd5b50803590602001351515610e17565b61022b6004803603602081101561039d57600080fd5b50356001600160a01b0316610e99565b6103b5610ec7565b604080516001600160a01b039092168252519081900360200190f35b6101fa610ed6565b61022b610ee7565b610159610eed565b610406600480360360208110156103ff57600080fd5b5035610f4e565b6040518084151515158152602001836001600160a01b03166001600160a01b0316815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561046557818101518382015260200161044d565b50505050905090810190601f1680156104925780820380516001836020036101000a031916815260200191505b5094505050505060405180910390f35b6101fa600480360360408110156104b857600080fd5b506001600160a01b038135169060200135611013565b6101fa600480360360408110156104e457600080fd5b506001600160a01b038135169060200135611102565b61022b6004803603604081101561051057600080fd5b506001600160a01b03813581169160200135166111fa565b61014f6004803603602081101561053e57600080fd5b50356001600160a01b0316611225565b61014f6004803603602081101561056457600080fd5b50356001600160a01b0316611258565b61057c610ed6565b61058557600080fd5b6034541561059257600080fd5b603354604080516001600160a01b039092168252517f88edfb4ea96673000ad101b18d1c7dbd727c5d92217c8d0b9966f2aaf77e93f49181900360200190a16001603455565b60678054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106645780601f1061063957610100808354040283529160200191610664565b820191906000526020600020905b81548152906001019060200180831161064757829003601f168201915b505050505090505b90565b33600081815260a2602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b60a0546000906001600160a01b031633146106f057600080fd5b609d5461070490600163ffffffff61127516565b609d558161074d57609d54609e5460408051918252517f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f29181900360200190a250609e54610a06565b600082121561077957610771610762836112d6565b609e549063ffffffff6112fe16565b609e55610790565b609e5461078c908363ffffffff61127516565b609e555b609e546001600160801b0310156107ad576001600160801b03609e555b609e546107c7906a098b933fc4a4a1c77fffff1990611340565b609f55609d54609e5460408051918252517f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f29181900360200190a260005b609c54811015610a00576000609c828154811061081e57fe5b60009182526020909120600290910201805490915060ff16156109f75780546001808301805460408051602060026101009685161587026000190190941693909304601f81018490048402820184019092528181526000956108e69590046001600160a01b03169390929091908301828280156108dc5780601f106108b1576101008083540402835291602001916108dc565b820191906000526020600020905b8154815290600101906020018083116108bf57829003601f168201915b5050505050611382565b9050806109f55781546040805185815260208101828152600180870180546002610100938216158402600019019091160494840185905294046001600160a01b0316937f8091ecaaa54ebb82e02d36c2c336528e0fcb9b3430fc1291ac88295032b9c2639388939192906060830190849080156109a45780601f10610979576101008083540402835291602001916109a4565b820191906000526020600020905b81548152906001019060200180831161098757829003601f168201915b5050935050505060405180910390a26040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8811985a5b195960721b604482015290519081900360640190fd5b505b50600101610805565b5050609e545b919050565b610a13610ed6565b610a1c57600080fd5b609c6040518060600160405280600115158152602001856001600160a01b0316815260200184848080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052509390945250508354600181810180875595835260209283902085516002909302018054848701516001600160a01b031661010002610100600160a81b031994151560ff19909216919091179390931692909217825560408501518051929450610ae29391850192910190611576565b50505050505050565b609e5490565b6000826001600160a01b038116610b0757600080fd5b6001600160a01b038116301415610b1d57600080fd5b6001600160a01b038516600090815260a260209081526040808320338452909152902054610b51908463ffffffff6112fe16565b6001600160a01b038616600090815260a260209081526040808320338452909152812091909155609f54610b8c90859063ffffffff6113a516565b6001600160a01b038716600090815260a16020526040902054909150610bb8908263ffffffff6112fe16565b6001600160a01b03808816600090815260a160205260408082209390935590871681522054610bed908263ffffffff61127516565b6001600160a01b03808716600081815260a1602090815260409182902094909455805188815290519193928a16927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600195945050505050565b60695460ff1690565b33600090815260a2602090815260408083206001600160a01b0386168452909152812054610c8d908363ffffffff61127516565b33600081815260a2602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b610cfa610ed6565b610d0357600080fd5b609c548110610d4f576040805162461bcd60e51b8152602060048201526013602482015272696e646578206f7574206f6620626f756e647360681b604482015290519081900360640190fd5b609c5460001901811015610e0057609c80546000198101908110610d6f57fe5b9060005260206000209060020201609c8281548110610d8a57fe5b6000918252602090912082546002928302909101805460ff191660ff9092161515919091178082558354610100600160a81b0319909116610100918290046001600160a01b03168202178255600180850180549394610dfc9483870194929381161590920260001901909116046115f4565b5050505b609c805490610e13906000198301611669565b5050565b610e1f610ed6565b610e2857600080fd5b609c548210610e685760405162461bcd60e51b81526004018080602001828103825260288152602001806118c76028913960400191505060405180910390fd5b80609c8381548110610e7657fe5b60009182526020909120600290910201805460ff19169115159190911790555050565b609f546001600160a01b038216600090815260a1602052604081205490916106d0919063ffffffff61134016565b6033546001600160a01b031690565b6033546001600160a01b0316331490565b609c5490565b60688054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106645780601f1061063957610100808354040283529160200191610664565b609c8181548110610f5b57fe5b6000918252602091829020600291820201805460018083018054604080516101009483161585026000190190921696909604601f810188900488028201880190965285815260ff84169750919092046001600160a01b031694929390928301828280156110095780601f10610fde57610100808354040283529160200191611009565b820191906000526020600020905b815481529060010190602001808311610fec57829003601f168201915b5050505050905083565b33600090815260a2602090815260408083206001600160a01b03861684529091528120548083106110675733600090815260a2602090815260408083206001600160a01b038816845290915281205561109c565b611077818463ffffffff6112fe16565b33600090815260a2602090815260408083206001600160a01b03891684529091529020555b33600081815260a2602090815260408083206001600160a01b0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b6000826001600160a01b03811661111857600080fd5b6001600160a01b03811630141561112e57600080fd5b6000611145609f54856113a590919063ffffffff16565b33600090815260a16020526040902054909150611168908263ffffffff6112fe16565b33600090815260a16020526040808220929092556001600160a01b0387168152205461119a908263ffffffff61127516565b6001600160a01b038616600081815260a160209081526040918290209390935580518781529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3506001949350505050565b6001600160a01b03918216600090815260a26020908152604080832093909416825291909152205490565b61122d610ed6565b61123657600080fd5b60a080546001600160a01b0319166001600160a01b0392909216919091179055565b611260610ed6565b61126957600080fd5b611272816113fe565b50565b6000828201838110156112cf576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6000600160ff1b8214156112e957600080fd5b600082126112f757816106d0565b5060000390565b60006112cf83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061147a565b60006112cf83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611511565b6000806040516020840160008286518360008a6187965a03f19695505050505050565b6000826113b4575060006106d0565b828202828482816113c157fe5b04146112cf5760405162461bcd60e51b81526004018080602001828103825260218152602001806118ef6021913960400191505060405180910390fd5b6034541561140b57600080fd5b6001600160a01b03811661141e57600080fd5b6033546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3603380546001600160a01b0319166001600160a01b0392909216919091179055565b600081848411156115095760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156114ce5781810151838201526020016114b6565b50505050905090810190601f1680156114fb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600081836115605760405162461bcd60e51b81526020600482018181528351602484015283519092839260449091019190850190808383600083156114ce5781810151838201526020016114b6565b50600083858161156c57fe5b0495945050505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106115b757805160ff19168380011785556115e4565b828001600101855582156115e4579182015b828111156115e45782518255916020019190600101906115c9565b506115f092915061169a565b5090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061162d57805485556115e4565b828001600101855582156115e457600052602060002091601f016020900482015b828111156115e457825482559160010191906001019061164e565b8154818355818111156116955760020281600202836000526020600020918201910161169591906116b4565b505050565b61066c91905b808211156115f057600081556001016116a0565b61066c91905b808211156115f05780546001600160a81b031916815560006116df60018301826116e8565b506002016116ba565b50805460018160011615610100020316600290046000825580601f1061170e5750611272565b601f016020900490600052602060002090810190611272919061169a565b600054610100900460ff168061174557506117456118c0565b80611753575060005460ff16155b61178e5760405162461bcd60e51b815260040180806020018281038252602e815260200180611910602e913960400191505060405180910390fd5b60008054603380546001600160a01b0319166001600160a01b039490941693909317909255603481905561ff001980831661010090811760ff19166001179091169281900460ff16151502919091179055565b600054610100900460ff16806117fa57506117fa6118c0565b80611808575060005460ff16155b6118435760405162461bcd60e51b815260040180806020018281038252602e815260200180611910602e913960400191505060405180910390fd5b60008054600161010061ff00198316811760ff191691909117909255845191900460ff1690611879906067906020870190611576565b50825161188d906068906020860190611576565b506069805460ff90931660ff1990931692909217909155600080549115156101000261ff00199092169190911790555050565b303b159056fe696e646578206d75737420626520696e2072616e6765206f662073746f726564207478206c697374536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77436f6e747261637420696e7374616e63652068617320616c7265616479206265656e20696e697469616c697a6564a265627a7a72315820f293d988e4028b6a58d93e478b2e4f9bdc4a28ea7aab8c0d7a5d4293903dfdde64736f6c63430005110032436f6e747261637420696e7374616e63652068617320616c7265616479206265656e20696e697469616c697a6564

0x608060405234801561001057600080fd5b50600436106101425760003560e01c806370a08231116100b85780639ace38c21161007c5780639ace38c2146103e9578063a457c2d7146104a2578063a9059cbb146104ce578063dd62ed3e146104fa578063e46adf6214610528578063f2fde38b1461054e57610142565b806370a08231146103875780638da5cb5b146103ad5780638f32d59b146103d157806391d4ec18146103d957806395d89b41146103e157610142565b806318160ddd1161010a57806318160ddd146102bd57806323b872dd146102c5578063313ce567146102fb578063395093511461031957806346c3bd1f146103455780636e9dde991461036257610142565b80630577c02b1461014757806306fdde0314610151578063095ea7b3146101ce5780630ab114f91461020e578063126e19be1461023d575b600080fd5b61014f610574565b005b6101596105d8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561019357818101518382015260200161017b565b50505050905090810190601f1680156101c05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101fa600480360360408110156101e457600080fd5b506001600160a01b03813516906020013561066f565b604080519115158252519081900360200190f35b61022b6004803603602081101561022457600080fd5b50356106d6565b60408051918252519081900360200190f35b61014f6004803603604081101561025357600080fd5b6001600160a01b03823516919081019060408101602082013564010000000081111561027e57600080fd5b82018360208201111561029057600080fd5b803590602001918460018302840111640100000000831117156102b257600080fd5b509092509050610a0b565b61022b610aeb565b6101fa600480360360608110156102db57600080fd5b506001600160a01b03813581169160208101359091169060400135610af1565b610303610c50565b6040805160ff9092168252519081900360200190f35b6101fa6004803603604081101561032f57600080fd5b506001600160a01b038135169060200135610c59565b61014f6004803603602081101561035b57600080fd5b5035610cf2565b61014f6004803603604081101561037857600080fd5b50803590602001351515610e17565b61022b6004803603602081101561039d57600080fd5b50356001600160a01b0316610e99565b6103b5610ec7565b604080516001600160a01b039092168252519081900360200190f35b6101fa610ed6565b61022b610ee7565b610159610eed565b610406600480360360208110156103ff57600080fd5b5035610f4e565b6040518084151515158152602001836001600160a01b03166001600160a01b0316815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561046557818101518382015260200161044d565b50505050905090810190601f1680156104925780820380516001836020036101000a031916815260200191505b5094505050505060405180910390f35b6101fa600480360360408110156104b857600080fd5b506001600160a01b038135169060200135611013565b6101fa600480360360408110156104e457600080fd5b506001600160a01b038135169060200135611102565b61022b6004803603604081101561051057600080fd5b506001600160a01b03813581169160200135166111fa565b61014f6004803603602081101561053e57600080fd5b50356001600160a01b0316611225565b61014f6004803603602081101561056457600080fd5b50356001600160a01b0316611258565b61057c610ed6565b61058557600080fd5b6034541561059257600080fd5b603354604080516001600160a01b039092168252517f88edfb4ea96673000ad101b18d1c7dbd727c5d92217c8d0b9966f2aaf77e93f49181900360200190a16001603455565b60678054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106645780601f1061063957610100808354040283529160200191610664565b820191906000526020600020905b81548152906001019060200180831161064757829003601f168201915b505050505090505b90565b33600081815260a2602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b60a0546000906001600160a01b031633146106f057600080fd5b609d5461070490600163ffffffff61127516565b609d558161074d57609d54609e5460408051918252517f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f29181900360200190a250609e54610a06565b600082121561077957610771610762836112d6565b609e549063ffffffff6112fe16565b609e55610790565b609e5461078c908363ffffffff61127516565b609e555b609e546001600160801b0310156107ad576001600160801b03609e555b609e546107c7906a098b933fc4a4a1c77fffff1990611340565b609f55609d54609e5460408051918252517f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f29181900360200190a260005b609c54811015610a00576000609c828154811061081e57fe5b60009182526020909120600290910201805490915060ff16156109f75780546001808301805460408051602060026101009685161587026000190190941693909304601f81018490048402820184019092528181526000956108e69590046001600160a01b03169390929091908301828280156108dc5780601f106108b1576101008083540402835291602001916108dc565b820191906000526020600020905b8154815290600101906020018083116108bf57829003601f168201915b5050505050611382565b9050806109f55781546040805185815260208101828152600180870180546002610100938216158402600019019091160494840185905294046001600160a01b0316937f8091ecaaa54ebb82e02d36c2c336528e0fcb9b3430fc1291ac88295032b9c2639388939192906060830190849080156109a45780601f10610979576101008083540402835291602001916109a4565b820191906000526020600020905b81548152906001019060200180831161098757829003601f168201915b5050935050505060405180910390a26040805162461bcd60e51b8152602060048201526012602482015271151c985b9cd858dd1a5bdb8811985a5b195960721b604482015290519081900360640190fd5b505b50600101610805565b5050609e545b919050565b610a13610ed6565b610a1c57600080fd5b609c6040518060600160405280600115158152602001856001600160a01b0316815260200184848080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052509390945250508354600181810180875595835260209283902085516002909302018054848701516001600160a01b031661010002610100600160a81b031994151560ff19909216919091179390931692909217825560408501518051929450610ae29391850192910190611576565b50505050505050565b609e5490565b6000826001600160a01b038116610b0757600080fd5b6001600160a01b038116301415610b1d57600080fd5b6001600160a01b038516600090815260a260209081526040808320338452909152902054610b51908463ffffffff6112fe16565b6001600160a01b038616600090815260a260209081526040808320338452909152812091909155609f54610b8c90859063ffffffff6113a516565b6001600160a01b038716600090815260a16020526040902054909150610bb8908263ffffffff6112fe16565b6001600160a01b03808816600090815260a160205260408082209390935590871681522054610bed908263ffffffff61127516565b6001600160a01b03808716600081815260a1602090815260409182902094909455805188815290519193928a16927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600195945050505050565b60695460ff1690565b33600090815260a2602090815260408083206001600160a01b0386168452909152812054610c8d908363ffffffff61127516565b33600081815260a2602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b610cfa610ed6565b610d0357600080fd5b609c548110610d4f576040805162461bcd60e51b8152602060048201526013602482015272696e646578206f7574206f6620626f756e647360681b604482015290519081900360640190fd5b609c5460001901811015610e0057609c80546000198101908110610d6f57fe5b9060005260206000209060020201609c8281548110610d8a57fe5b6000918252602090912082546002928302909101805460ff191660ff9092161515919091178082558354610100600160a81b0319909116610100918290046001600160a01b03168202178255600180850180549394610dfc9483870194929381161590920260001901909116046115f4565b5050505b609c805490610e13906000198301611669565b5050565b610e1f610ed6565b610e2857600080fd5b609c548210610e685760405162461bcd60e51b81526004018080602001828103825260288152602001806118c76028913960400191505060405180910390fd5b80609c8381548110610e7657fe5b60009182526020909120600290910201805460ff19169115159190911790555050565b609f546001600160a01b038216600090815260a1602052604081205490916106d0919063ffffffff61134016565b6033546001600160a01b031690565b6033546001600160a01b0316331490565b609c5490565b60688054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156106645780601f1061063957610100808354040283529160200191610664565b609c8181548110610f5b57fe5b6000918252602091829020600291820201805460018083018054604080516101009483161585026000190190921696909604601f810188900488028201880190965285815260ff84169750919092046001600160a01b031694929390928301828280156110095780601f10610fde57610100808354040283529160200191611009565b820191906000526020600020905b815481529060010190602001808311610fec57829003601f168201915b5050505050905083565b33600090815260a2602090815260408083206001600160a01b03861684529091528120548083106110675733600090815260a2602090815260408083206001600160a01b038816845290915281205561109c565b611077818463ffffffff6112fe16565b33600090815260a2602090815260408083206001600160a01b03891684529091529020555b33600081815260a2602090815260408083206001600160a01b0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b6000826001600160a01b03811661111857600080fd5b6001600160a01b03811630141561112e57600080fd5b6000611145609f54856113a590919063ffffffff16565b33600090815260a16020526040902054909150611168908263ffffffff6112fe16565b33600090815260a16020526040808220929092556001600160a01b0387168152205461119a908263ffffffff61127516565b6001600160a01b038616600081815260a160209081526040918290209390935580518781529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3506001949350505050565b6001600160a01b03918216600090815260a26020908152604080832093909416825291909152205490565b61122d610ed6565b61123657600080fd5b60a080546001600160a01b0319166001600160a01b0392909216919091179055565b611260610ed6565b61126957600080fd5b611272816113fe565b50565b6000828201838110156112cf576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6000600160ff1b8214156112e957600080fd5b600082126112f757816106d0565b5060000390565b60006112cf83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061147a565b60006112cf83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611511565b6000806040516020840160008286518360008a6187965a03f19695505050505050565b6000826113b4575060006106d0565b828202828482816113c157fe5b04146112cf5760405162461bcd60e51b81526004018080602001828103825260218152602001806118ef6021913960400191505060405180910390fd5b6034541561140b57600080fd5b6001600160a01b03811661141e57600080fd5b6033546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3603380546001600160a01b0319166001600160a01b0392909216919091179055565b600081848411156115095760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b838110156114ce5781810151838201526020016114b6565b50505050905090810190601f1680156114fb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600081836115605760405162461bcd60e51b81526020600482018181528351602484015283519092839260449091019190850190808383600083156114ce5781810151838201526020016114b6565b50600083858161156c57fe5b0495945050505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106115b757805160ff19168380011785556115e4565b828001600101855582156115e4579182015b828111156115e45782518255916020019190600101906115c9565b506115f092915061169a565b5090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061162d57805485556115e4565b828001600101855582156115e457600052602060002091601f016020900482015b828111156115e457825482559160010191906001019061164e565b8154818355818111156116955760020281600202836000526020600020918201910161169591906116b4565b505050565b61066c91905b808211156115f057600081556001016116a0565b61066c91905b808211156115f05780546001600160a81b031916815560006116df60018301826116e8565b506002016116ba565b50805460018160011615610100020316600290046000825580601f1061170e5750611272565b601f016020900490600052602060002090810190611272919061169a565b600054610100900460ff168061174557506117456118c0565b80611753575060005460ff16155b61178e5760405162461bcd60e51b815260040180806020018281038252602e815260200180611910602e913960400191505060405180910390fd5b60008054603380546001600160a01b0319166001600160a01b039490941693909317909255603481905561ff001980831661010090811760ff19166001179091169281900460ff16151502919091179055565b600054610100900460ff16806117fa57506117fa6118c0565b80611808575060005460ff16155b6118435760405162461bcd60e51b815260040180806020018281038252602e815260200180611910602e913960400191505060405180910390fd5b60008054600161010061ff00198316811760ff191691909117909255845191900460ff1690611879906067906020870190611576565b50825161188d906068906020860190611576565b506069805460ff90931660ff1990931692909217909155600080549115156101000261ff00199092169190911790555050565b303b159056fe696e646578206d75737420626520696e2072616e6765206f662073746f726564207478206c697374536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77436f6e747261637420696e7374616e63652068617320616c7265616479206265656e20696e697469616c697a6564a265627a7a72315820f293d988e4028b6a58d93e478b2e4f9bdc4a28ea7aab8c0d7a5d4293903dfdde64736f6c63430005110032

7955:13316:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7955:13316:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2459:141;;;:::i;:::-;;3667:76;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;3667:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16412:233;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;16412:233:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;11246:1821;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11246:1821:0;;:::i;:::-;;;;;;;;;;;;;;;;18355:262;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;18355:262:0;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;18355:262:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;18355:262: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;18355:262:0;;-1:-1:-1;18355:262:0;-1:-1:-1;18355:262:0;:::i;13521:123::-;;;:::i;15283:487::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15283:487:0;;;;;;;;;;;;;;;;;:::i;3835:76::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17018:343;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;17018:343:0;;;;;;;;:::i;18769:328::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;18769:328:0;;:::i;19279:246::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19279:246:0;;;;;;;;;:::i;13765:159::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13765:159:0;-1:-1:-1;;;;;13765:159:0;;:::i;1834:72::-;;;:::i;:::-;;;;-1:-1:-1;;;;;1834:72:0;;;;;;;;;;;;;;1978:85;;;:::i;19640:137::-;;;:::i;3749:80::-;;;:::i;9553:33::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9553:33:0;;:::i;:::-;;;;;;;;;;;;;;-1:-1:-1;;;;;9553:33:0;-1:-1:-1;;;;;9553:33: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;9553:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17623:512;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;17623:512:0;;;;;;;;:::i;14151:388::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14151:388:0;;;;;;;;:::i;14847:174::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14847:174:0;;;;;;;;;;:::i;10889:92::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10889:92:0;-1:-1:-1;;;;;10889:92:0;;:::i;2069:103::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2069:103:0;-1:-1:-1;;;;;2069:103:0;;:::i;2459:141::-;1948:9;:7;:9::i;:::-;1940:18;;;;;;2513:16;;:21;2505:30;;;;;;2560:6;;2544:23;;;-1:-1:-1;;;;;2560:6:0;;;2544:23;;;;;;;;;;;;2593:1;2574:16;:20;2459:141::o;3667:76::-;3732:5;3725:12;;;;;;;;-1:-1:-1;;3725:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3703:13;;3725:12;;3732:5;;3725:12;;3732:5;3725:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3667:76;;:::o;16412:233::-;16535:10;16495:4;16517:29;;;:17;:29;;;;;;;;-1:-1:-1;;;;;16517:38:0;;;;;;;;;;;:46;;;16579:36;;;;;;;16495:4;;16517:38;;16535:10;;16579:36;;;;;;;;-1:-1:-1;16633:4:0;16412:233;;;;;:::o;11246:1821::-;10859:7;;11339;;-1:-1:-1;;;;;10859:7:0;10845:10;:21;10837:30;;;;;;11370:6;;:13;;11381:1;11370:13;:10;:13;:::i;:::-;11361:6;:22;11402:16;11398:119;;11450:6;;11458:12;;11440:31;;;;;;;;;;;;;;;;-1:-1:-1;11493:12:0;;11486:19;;11398:119;11547:1;11533:11;:15;11529:193;;;11580:44;11605:17;:11;:15;:17::i;:::-;11580:12;;;:44;:16;:44;:::i;:::-;11565:12;:59;11529:193;;;11672:12;;:38;;11697:11;11672:38;:16;:38;:::i;:::-;11657:12;:53;11529:193;11738:12;;-1:-1:-1;;;;;;11734:83:0;;;-1:-1:-1;;;;;11780:12:0;:25;11734:83;11863:12;;11848:28;;-1:-1:-1;;10200:54:0;11848:14;:28::i;:::-;11829:16;:47;12599:6;;12607:12;;12589:31;;;;;;;;;;;;;;;;12632:6;12627:399;12648:12;:19;12644:23;;12627:399;;;12689:21;12713:12;12726:1;12713:15;;;;;;;;;;;;;;;;;;;;;12747:9;;12713:15;;-1:-1:-1;12747:9:0;;12743:272;;;12804:13;;;12819:6;;;12791:35;;;;;;;12804:13;12791:35;;;;;;-1:-1:-1;;12791:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;12791:35:0;;12804:13;;-1:-1:-1;;;;;12804:13:0;;12791:35;;12819:6;;12791:35;;;12819:6;12791:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:12;:35::i;:::-;12777:49;;12850:6;12845:155;;12904:13;;12886:43;;;;;;;;;;;;12904:13;12922:6;;;12886:43;;;12904:13;12886:43;;;;;;-1:-1:-1;;12886:43:0;;;;;;;;;;;12904:13;;-1:-1:-1;;;;;12904:13:0;;12886:43;;;;12922:6;;12886:43;;;;;12922:6;;12886:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12952:28;;;-1:-1:-1;;;12952:28:0;;;;;;;;;;;;-1:-1:-1;;;12952:28:0;;;;;;;;;;;;;;12845:155;12743:272;;-1:-1:-1;12669:3:0;;12627:399;;;-1:-1:-1;;13047:12:0;;10874:1;11246:1821;;;:::o;18355:262::-;1948:9;:7;:9::i;:::-;1940:18;;;;;;18474:12;18492:116;;;;;;;;18528:4;18492:116;;;;;;18560:11;-1:-1:-1;;;;;18492:116:0;;;;;18592:4;;18492:116;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;-1:-1;18492:116:0;;;;-1:-1:-1;;27:10;;39:1;23:18;;;45:23;;;18474:135:0;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;18474:135:0;;;-1:-1:-1;;;;;;18474:135:0;;;-1:-1:-1;;18474:135:0;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;18474:135:0;;;;;;;;;;:::i;:::-;;;;;18355:262;;;:::o;13521:123::-;13624:12;;13521:123;:::o;15283:487::-;15408:4;15386:2;-1:-1:-1;;;;;9718:18:0;;9710:27;;;;;;-1:-1:-1;;;;;9756:19:0;;9770:4;9756:19;;9748:28;;;;;;-1:-1:-1;;;;;15468:23:0;;;;;;:17;:23;;;;;;;;15492:10;15468:35;;;;;;;;:46;;15508:5;15468:46;:39;:46;:::i;:::-;-1:-1:-1;;;;;15430:23:0;;;;;;:17;:23;;;;;;;;15454:10;15430:35;;;;;;;:84;;;;15556:16;;15546:27;;:5;;:27;:9;:27;:::i;:::-;-1:-1:-1;;;;;15605:18:0;;;;;;:12;:18;;;;;;15527:46;;-1:-1:-1;15605:32:0;;15527:46;15605:32;:22;:32;:::i;:::-;-1:-1:-1;;;;;15584:18:0;;;;;;;:12;:18;;;;;;:53;;;;15667:16;;;;;;;:30;;15688:8;15667:30;:20;:30;:::i;:::-;-1:-1:-1;;;;;15648:16:0;;;;;;;:12;:16;;;;;;;;;:49;;;;15713:25;;;;;;;15648:16;;15713:25;;;;;;;;;;;;;-1:-1:-1;15758:4:0;;15283:487;-1:-1:-1;;;;;15283:487:0:o;3835:76::-;3896:9;;;;3835:76;:::o;17018:343::-;17210:10;17116:4;17192:29;;;:17;:29;;;;;;;;-1:-1:-1;;;;;17192:38:0;;;;;;;;;;:54;;17235:10;17192:54;:42;:54;:::i;:::-;17156:10;17138:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;17138:38:0;;;;;;;;;;;;:108;;;17262:69;;;;;;17138:38;;17262:69;;;;;;;;;;;-1:-1:-1;17349:4:0;17018:343;;;;:::o;18769:328::-;1948:9;:7;:9::i;:::-;1940:18;;;;;;18877:12;:19;18869:27;;18861:59;;;;;-1:-1:-1;;;18861:59:0;;;;;;;;;;;;-1:-1:-1;;;18861:59:0;;;;;;;;;;;;;;;18945:12;:19;-1:-1:-1;;18945:23:0;18937:31;;18933:123;;;19007:12;19020:19;;-1:-1:-1;;19020:23:0;;;19007:37;;;;;;;;;;;;;;;;18985:12;18998:5;18985:19;;;;;;;;;;;;;;;;:59;;:19;;;;;;;:59;;-1:-1:-1;;18985:59:0;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;18985:59:0;;;;;;;;-1:-1:-1;;;;;18985:59:0;;;;;;-1:-1:-1;18985:59:0;;;;;:19;;:59;;;;;;;;;;;;;;-1:-1:-1;;18985:59:0;;;;;;:::i;:::-;-1:-1:-1;;;18933:123:0;19068:12;:21;;;;;-1:-1:-1;;19068:21:0;;;:::i;:::-;;18769:328;:::o;19279:246::-;1948:9;:7;:9::i;:::-;1940:18;;;;;;19405:12;:19;19397:27;;19389:80;;;;-1:-1:-1;;;19389:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19510:7;19480:12;19493:5;19480:19;;;;;;;;;;;;;;;;;;;;;:37;;-1:-1:-1;;19480:37:0;;;;;;;;;;-1:-1:-1;;19279:246:0:o;13765:159::-;13899:16;;-1:-1:-1;;;;;13877:17:0;;13845:7;13877:17;;;:12;:17;;;;;;13845:7;;13877:39;;:17;:39;:21;:39;:::i;1834:72::-;1894:6;;-1:-1:-1;;;;;1894:6:0;1834:72;:::o;1978:85::-;2051:6;;-1:-1:-1;;;;;2051:6:0;2037:10;:20;;1978:85::o;19640:137::-;19750:12;:19;19640:137;:::o;3749:80::-;3816:7;3809:14;;;;;;;;-1:-1:-1;;3809:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3787:13;;3809:14;;3816:7;;3809:14;;3816:7;3809:14;;;;;;;;;;;;;;;;;;;;;;;;9553:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;9553:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9553:33:0;;;;-1:-1:-1;;;;;9553:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;17623:512::-;17785:10;17726:4;17767:29;;;:17;:29;;;;;;;;-1:-1:-1;;;;;17767:38:0;;;;;;;;;;17820:27;;;17816:205;;17882:10;17905:1;17864:29;;;:17;:29;;;;;;;;-1:-1:-1;;;;;17864:38:0;;;;;;;;;:42;17816:205;;;17980:29;:8;17993:15;17980:29;:12;:29;:::i;:::-;17957:10;17939:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;17939:38:0;;;;;;;;;:70;17816:205;18045:10;18066:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;18036:69:0;;18066:38;;;;;;;;;;;18036:69;;;;;;;;;18045:10;18036:69;;;;;;;;;;;-1:-1:-1;18123:4:0;;17623:512;-1:-1:-1;;;17623:512:0:o;14151:388::-;14258:4;14236:2;-1:-1:-1;;;;;9718:18:0;;9710:27;;;;;;-1:-1:-1;;;;;9756:19:0;;9770:4;9756:19;;9748:28;;;;;;14280:16;14299:27;14309:16;;14299:5;:9;;:27;;;;:::i;:::-;14377:10;14364:24;;;;:12;:24;;;;;;14280:46;;-1:-1:-1;14364:38:0;;14280:46;14364:38;:28;:38;:::i;:::-;14350:10;14337:24;;;;:12;:24;;;;;;:65;;;;-1:-1:-1;;;;;14432:16:0;;;;;;:30;;14453:8;14432:30;:20;:30;:::i;:::-;-1:-1:-1;;;;;14413:16:0;;;;;;:12;:16;;;;;;;;;:49;;;;14478:31;;;;;;;14413:16;;14487:10;;14478:31;;;;;;;;;;-1:-1:-1;14527:4:0;;14151:388;-1:-1:-1;;;;14151:388:0:o;14847:174::-;-1:-1:-1;;;;;14979:25:0;;;14947:7;14979:25;;;:17;:25;;;;;;;;:34;;;;;;;;;;;;;14847:174::o;10889:92::-;1948:9;:7;:9::i;:::-;1940:18;;;;;;10955:7;:18;;-1:-1:-1;;;;;;10955:18:0;-1:-1:-1;;;;;10955:18:0;;;;;;;;;;10889:92::o;2069:103::-;1948:9;:7;:9::i;:::-;1940:18;;;;;;2138:28;2157:8;2138:18;:28::i;:::-;2069:103;:::o;3980:181::-;4038:7;4070:5;;;4094:6;;;;4086:46;;;;;-1:-1:-1;;;4086:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4152:1;3980:181;-1:-1:-1;;;3980:181:0:o;7787:161::-;7860:6;-1:-1:-1;;;7892:15:0;;;7884:24;;;;;;7930:1;7926;:5;:14;;7939:1;7926:14;;;-1:-1:-1;7934:2:0;;;7787:161::o;4169:136::-;4227:7;4254:43;4258:1;4261;4254:43;;;;;;;;;;;;;;;;;:3;:43::i;4771:132::-;4829:7;4856:39;4860:1;4863;4856:39;;;;;;;;;;;;;;;;;:3;:39::i;20020:1248::-;20118:4;20140:11;20380:4;20374:11;20508:2;20502:4;20498:13;21153:1;21121:13;21029:4;21023:11;20993;20948:1;20918:11;20889:5;20884:3;20880:15;20537:689;20527:699;20020:1248;-1:-1:-1;;;;;;20020:1248:0:o;4513:250::-;4571:7;4595:6;4591:47;;-1:-1:-1;4625:1:0;4618:8;;4591:47;4662:5;;;4666:1;4662;:5;:1;4686:5;;;;;:10;4678:56;;;;-1:-1:-1;;;4678:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2178:210;2248:16;;:21;2240:30;;;;;;-1:-1:-1;;;;;2285:22:0;;2277:31;;;;;;2341:6;;2320:38;;-1:-1:-1;;;;;2320:38:0;;;;2341:6;;2320:38;;2341:6;;2320:38;2365:6;:17;;-1:-1:-1;;;;;;2365:17:0;-1:-1:-1;;;;;2365:17:0;;;;;;;;;;2178:210::o;4313:192::-;4399:7;4435:12;4427:6;;;;4419:29;;;;-1:-1:-1;;;4419:29: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;4419:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;4471:5:0;;;4313:192::o;4911:191::-;4997:7;5032:12;5025:5;5017:28;;;;-1:-1:-1;;;5017:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27:10:-1;;8:100;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;5017:28:0;;5056:9;5072:1;5068;:5;;;;;;;4911:191;-1:-1:-1;;;;;4911:191:0:o;7955:13316::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7955:13316:0;;;-1:-1:-1;7955:13316:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;7955:13316:0;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;1719:109::-;959:12;;;;;;;;:31;;;975:15;:13;:15::i;:::-;959:47;;;-1:-1:-1;995:11:0;;;;994:12;959:47;951:106;;;;-1:-1:-1;;;951:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1066:20;1089:12;;1783:6;:15;;-1:-1:-1;;;;;;1783:15:0;-1:-1:-1;;;;;1783:15:0;;;;;;;;;;;1802:16;:20;;;-1:-1:-1;;1108:19:0;;;1089:12;1108:19;;;-1:-1:-1;;1134:18:0;-1:-1:-1;1134:18:0;1171:30;;;1089:12;;;;;;1171:30;;;;;;;;;1719:109::o;3485:176::-;959:12;;;;;;;;:31;;;975:15;:13;:15::i;:::-;959:47;;;-1:-1:-1;995:11:0;;;;994:12;959:47;951:106;;;;-1:-1:-1;;;951:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1066:20;1089:12;;;;-1:-1:-1;;1108:19:0;;;;-1:-1:-1;;1134:18:0;;;;;;;;3593:12;;1089;;;;;;3593;;:5;;:12;;;;;:::i;:::-;-1:-1:-1;3612:16:0;;;;:7;;:16;;;;;:::i;:::-;-1:-1:-1;3635:9:0;:20;;;;;;-1:-1:-1;;3635:20:0;;;;;;;;;;:9;1171:30;;;;;3635:20;1171:30;-1:-1:-1;;1171:30:0;;;;;;;;;-1:-1:-1;;3485:176:0:o;1213:142::-;1319:7;1307:20;1342:7;1213:142;:::o

bzzr://f293d988e4028b6a58d93e478b2e4f9bdc4a28ea7aab8c0d7a5d4293903dfdde