Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract BasicToken is ERC20Basic
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•  contract FartToken is StandardToke ... *
•    - function FartToken(uint256 initialGra ...
•    - function BuyToken(uint256 amount)
•    - function SendFart(string message)
•    - function GetFreeTokens()
•    - function GetBank()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-12-13
*/

/**
 *Submitted for verification at Etherscan.io on 2018-01-22
*/

pragma solidity ^0.4.18;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    assert(c / a == b);
    return c;
  }

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  /**
  * @dev Substracts two numbers, throws on overflow (i.e. if subtrahend is
greater than minuend).
  */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}


/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns
(uint256);
  function transferFrom(address from, address to, uint256 value) public
returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256
value);
}

/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint256;
  mapping(address => uint256) balances;

  /**
  * @dev transfer token for a specified address
  * @param _to The address to transfer to.
  * @param _value The amount to be transferred.
  */
  function transfer(address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    // SafeMath.sub will throw if there is not enough balance.
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    Transfer(msg.sender, _to, _value);
    return true;
  }

  /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
  function balanceOf(address _owner) public view returns (uint256 balance) {
    return balances[_owner];
  }

}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * @dev https://github.com/ethereum/EIPs/issues/20
 * @dev Based on code by FirstBlood:
https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;


  /**
   * @dev Transfer tokens from one address to another
   * @param _from address The address which you want to send tokens from
   * @param _to address The address which you want to transfer to
   * @param _value uint256 the amount of tokens to be transferred
   */
  function transferFrom(address _from, address _to, uint256 _value) public
returns (bool) {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    Transfer(_from, _to, _value);
    return true;
  }

  /**
   * @dev Approve the passed address to spend the specified amount of
tokens on behalf of msg.sender.
   *
   * 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
   * @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) {
    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
  }

  /**
   * @dev Function to check the amount of tokens that an owner allowed to a
spender.
   * @param _owner address The address which owns the funds.
   * @param _spender address The address which will spend the funds.
   * @return A uint256 specifying the amount of tokens still available for
the spender.
   */
  function allowance(address _owner, address _spender) public view returns
(uint256) {
    return allowed[_owner][_spender];
  }

  /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and
wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
  function increaseApproval(address _spender, uint _addedValue) public
returns (bool) {
    allowed[msg.sender][_spender] =
allowed[msg.sender][_spender].add(_addedValue);
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and
wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance
by.
   */
  function decreaseApproval(address _spender, uint _subtractedValue) public
returns (bool) {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}

contract FartToken is StandardToken {
    using SafeMath for uint256;
    uint256 public totalSupply = 1000000;
    string public name = "FartCoin";
    string public symbol = "FART";
    uint8 public decimals = 0;
    address owner;
    
    // Floating FART supply
    uint256 public remainingSupply;
   
    // Amount of free bundles left
    uint256 public redeemed = 100;
    uint256 public totalFartsReceived = 0;

    event Fart(string message);

    function FartToken(uint256 initialGrant) public payable {
        remainingSupply = totalSupply;
        balances[msg.sender] = initialGrant;
        remainingSupply = remainingSupply.sub(initialGrant);
        owner = msg.sender;
    }

    function BuyToken(uint256 amount) public payable {
        require(amount <= remainingSupply);
        require(amount.mul(0.0001 ether) == msg.value);
        remainingSupply = remainingSupply.sub(amount);
        balances[msg.sender] = balances[msg.sender].add(amount);
    }

    function SendFart(string message) public {
        require(balances[msg.sender] > 0);
        require(bytes(message).length < 100);

        balances[msg.sender] = balances[msg.sender].sub(1);
        remainingSupply =  remainingSupply.add(1);
        totalFartsReceived = totalFartsReceived.add(1);
        Fart(message);
    }

    function GetFreeTokens() public {
        require(balances[msg.sender] == 0);
        require(redeemed > 0);
        require(remainingSupply > 10);

        redeemed = redeemed.add(1);
        balances[msg.sender] = balances[msg.sender].add(10);
        remainingSupply = remainingSupply.sub(10);
    }

    function GetBank() public {
        owner.transfer(this.balance);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"GetBank","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"message","type":"string"}],"name":"SendFart","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"GetFreeTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalFartsReceived","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"remainingSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"redeemed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"BuyToken","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"inputs":[{"name":"initialGrant","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"message","type":"string"}],"name":"Fart","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

6060604052620f42406002556040805190810160405280600881526020017f46617274436f696e0000000000000000000000000000000000000000000000008152506003908051906020019062000058929190620001c3565b506040805190810160405280600481526020017f464152540000000000000000000000000000000000000000000000000000000081525060049080519060200190620000a6929190620001c3565b506000600560006101000a81548160ff021916908360ff1602179055506064600755600060085560405160208062001b3f83398101604052808051906020019091905050600254600681905550806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506200015b81600654620001a9640100000000026200181f179091906401000000009004565b60068190555033600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505062000272565b6000828211151515620001b857fe5b818303905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200020657805160ff191683800117855562000237565b8280016001018555821562000237579182015b828111156200023657825182559160200191906001019062000219565b5b5090506200024691906200024a565b5090565b6200026f91905b808211156200026b57600081600090555060010162000251565b5090565b90565b6118bd80620002826000396000f3006060604052600436106100fc576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610101578063095ea7b31461018f57806315f78c0c146101e957806318160ddd146101fe57806323b872dd14610227578063251506fa146102a0578063313ce567146102fd578063661884631461032c57806370a082311461038657806376d2d717146103d357806395d89b41146103e8578063a9059cbb14610476578063bb540231146104d0578063d73dd623146104f9578063da0239a614610553578063dd62ed3e1461057c578063e231bff0146105e8578063fcb0368c14610611575b600080fd5b341561010c57600080fd5b610114610629565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610154578082015181840152602081019050610139565b50505050905090810190601f1680156101815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561019a57600080fd5b6101cf600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506106c7565b604051808215151515815260200191505060405180910390f35b34156101f457600080fd5b6101fc6107b9565b005b341561020957600080fd5b610211610834565b6040518082815260200191505060405180910390f35b341561023257600080fd5b610286600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803590602001909190505061083a565b604051808215151515815260200191505060405180910390f35b34156102ab57600080fd5b6102fb600480803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091905050610bf4565b005b341561030857600080fd5b610310610dbc565b604051808260ff1660ff16815260200191505060405180910390f35b341561033757600080fd5b61036c600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610dcf565b604051808215151515815260200191505060405180910390f35b341561039157600080fd5b6103bd600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050611060565b6040518082815260200191505060405180910390f35b34156103de57600080fd5b6103e66110a8565b005b34156103f357600080fd5b6103fb6111e5565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561043b578082015181840152602081019050610420565b50505050905090810190601f1680156104685780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561048157600080fd5b6104b6600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050611283565b604051808215151515815260200191505060405180910390f35b34156104db57600080fd5b6104e36114a2565b6040518082815260200191505060405180910390f35b341561050457600080fd5b610539600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506114a8565b604051808215151515815260200191505060405180910390f35b341561055e57600080fd5b6105666116a4565b6040518082815260200191505060405180910390f35b341561058757600080fd5b6105d2600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506116aa565b6040518082815260200191505060405180910390f35b34156105f357600080fd5b6105fb611731565b6040518082815260200191505060405180910390f35b6106276004808035906020019091905050611737565b005b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106bf5780601f10610694576101008083540402835291602001916106bf565b820191906000526020600020905b8154815290600101906020018083116106a257829003601f168201915b505050505081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050151561083257600080fd5b565b60025481565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561087757600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156108c457600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561094f57600080fd5b6109a0826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a33826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b0482600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515610c4157600080fd5b60648151101515610c5157600080fd5b610ca360016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cfb600160065461183890919063ffffffff16565b600681905550610d17600160085461183890919063ffffffff16565b6008819055507fb2471e8e3db4636706c7bc667d3b612214143320a598e36263e82223d8f0a3bc816040518080602001828103825283818151815260200191508051906020019080838360005b83811015610d7f578082015181840152602081019050610d64565b50505050905090810190601f168015610dac5780820380516001836020036101000a031916815260200191505b509250505060405180910390a150565b600560009054906101000a900460ff1681565b600080600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115610ee0576000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f74565b610ef3838261181f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541415156110f557600080fd5b600060075411151561110657600080fd5b600a60065411151561111757600080fd5b61112d600160075461183890919063ffffffff16565b600781905550611185600a6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506111dd600a60065461181f90919063ffffffff16565b600681905550565b60048054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561127b5780601f106112505761010080835404028352916020019161127b565b820191906000526020600020905b81548152906001019060200180831161125e57829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156112c057600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561130d57600080fd5b61135e826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113f1826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60085481565b600061153982600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60065481565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60075481565b600654811115151561174857600080fd5b34611762655af3107a40008361185690919063ffffffff16565b14151561176e57600080fd5b6117838160065461181f90919063ffffffff16565b6006819055506117da816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050565b600082821115151561182d57fe5b818303905092915050565b600080828401905083811015151561184c57fe5b8091505092915050565b600080600084141561186b576000915061188a565b828402905082848281151561187c57fe5b0414151561188657fe5b8091505b50929150505600a165627a7a723058208ee6f2668cceb0f43afd0e273b0e16bfcf1ce76d55b3402e561eb2a435b6bd23002900000000000000000000000000000000000000000000000000000000000003e8

0x6060604052600436106100fc576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610101578063095ea7b31461018f57806315f78c0c146101e957806318160ddd146101fe57806323b872dd14610227578063251506fa146102a0578063313ce567146102fd578063661884631461032c57806370a082311461038657806376d2d717146103d357806395d89b41146103e8578063a9059cbb14610476578063bb540231146104d0578063d73dd623146104f9578063da0239a614610553578063dd62ed3e1461057c578063e231bff0146105e8578063fcb0368c14610611575b600080fd5b341561010c57600080fd5b610114610629565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610154578082015181840152602081019050610139565b50505050905090810190601f1680156101815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561019a57600080fd5b6101cf600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506106c7565b604051808215151515815260200191505060405180910390f35b34156101f457600080fd5b6101fc6107b9565b005b341561020957600080fd5b610211610834565b6040518082815260200191505060405180910390f35b341561023257600080fd5b610286600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803590602001909190505061083a565b604051808215151515815260200191505060405180910390f35b34156102ab57600080fd5b6102fb600480803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091905050610bf4565b005b341561030857600080fd5b610310610dbc565b604051808260ff1660ff16815260200191505060405180910390f35b341561033757600080fd5b61036c600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610dcf565b604051808215151515815260200191505060405180910390f35b341561039157600080fd5b6103bd600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050611060565b6040518082815260200191505060405180910390f35b34156103de57600080fd5b6103e66110a8565b005b34156103f357600080fd5b6103fb6111e5565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561043b578082015181840152602081019050610420565b50505050905090810190601f1680156104685780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561048157600080fd5b6104b6600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050611283565b604051808215151515815260200191505060405180910390f35b34156104db57600080fd5b6104e36114a2565b6040518082815260200191505060405180910390f35b341561050457600080fd5b610539600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506114a8565b604051808215151515815260200191505060405180910390f35b341561055e57600080fd5b6105666116a4565b6040518082815260200191505060405180910390f35b341561058757600080fd5b6105d2600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919050506116aa565b6040518082815260200191505060405180910390f35b34156105f357600080fd5b6105fb611731565b6040518082815260200191505060405180910390f35b6106276004808035906020019091905050611737565b005b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106bf5780601f10610694576101008083540402835291602001916106bf565b820191906000526020600020905b8154815290600101906020018083116106a257829003601f168201915b505050505081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050151561083257600080fd5b565b60025481565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561087757600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156108c457600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561094f57600080fd5b6109a0826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a33826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b0482600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111515610c4157600080fd5b60648151101515610c5157600080fd5b610ca360016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cfb600160065461183890919063ffffffff16565b600681905550610d17600160085461183890919063ffffffff16565b6008819055507fb2471e8e3db4636706c7bc667d3b612214143320a598e36263e82223d8f0a3bc816040518080602001828103825283818151815260200191508051906020019080838360005b83811015610d7f578082015181840152602081019050610d64565b50505050905090810190601f168015610dac5780820380516001836020036101000a031916815260200191505b509250505060405180910390a150565b600560009054906101000a900460ff1681565b600080600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115610ee0576000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f74565b610ef3838261181f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541415156110f557600080fd5b600060075411151561110657600080fd5b600a60065411151561111757600080fd5b61112d600160075461183890919063ffffffff16565b600781905550611185600a6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506111dd600a60065461181f90919063ffffffff16565b600681905550565b60048054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561127b5780601f106112505761010080835404028352916020019161127b565b820191906000526020600020905b81548152906001019060200180831161125e57829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156112c057600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561130d57600080fd5b61135e826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461181f90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113f1826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60085481565b600061153982600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b60065481565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60075481565b600654811115151561174857600080fd5b34611762655af3107a40008361185690919063ffffffff16565b14151561176e57600080fd5b6117838160065461181f90919063ffffffff16565b6006819055506117da816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461183890919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050565b600082821115151561182d57fe5b818303905092915050565b600080828401905083811015151561184c57fe5b8091505092915050565b600080600084141561186b576000915061188a565b828402905082848281151561187c57fe5b0414151561188657fe5b8091505b50929150505600a165627a7a723058208ee6f2668cceb0f43afd0e273b0e16bfcf1ce76d55b3402e561eb2a435b6bd230029

00000000000000000000000000000000000000000000000000000000000003e8

-----Decoded View---------------
Arg [0] : initialGrant (uint256): 1000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000000000000000000003e8

7215:1751:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7334:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4944:187:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8890:73;;;;;;;;;;;;;;7291:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3855:450;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8228:336;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7408:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6798:408;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3059:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8572:310;;;;;;;;;;;;;;7372:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2462:388:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7609:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6059:263;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7495:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5460:129;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7573:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7939:281;;;;;;;;;;;;;;;;;;7334:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4944:187::-;5011:4;5056:6;5024:7;:19;5032:10;5024:19;;;;;;;;;;;;;;;:29;5044:8;5024:29;;;;;;;;;;;;;;;:38;;;;5090:8;5069:38;;5078:10;5069:38;;;5100:6;5069:38;;;;;;;;;;;;;;;;;;5121:4;5114:11;;4944:187;;;;:::o;8890:73::-;8927:5;;;;;;;;;;;:14;;:28;8942:4;:12;;;8927:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8890:73::o;7291:36::-;;;;:::o;3855:450::-;3938:4;3974:1;3959:17;;:3;:17;;;;3951:26;;;;;;;;4002:8;:15;4011:5;4002:15;;;;;;;;;;;;;;;;3992:6;:25;;3984:34;;;;;;;;4043:7;:14;4051:5;4043:14;;;;;;;;;;;;;;;:26;4058:10;4043:26;;;;;;;;;;;;;;;;4033:6;:36;;4025:45;;;;;;;;4097:27;4117:6;4097:8;:15;4106:5;4097:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4079:8;:15;4088:5;4079:15;;;;;;;;;;;;;;;:45;;;;4147:25;4165:6;4147:8;:13;4156:3;4147:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4131:8;:13;4140:3;4131:13;;;;;;;;;;;;;;;:41;;;;4208:38;4239:6;4208:7;:14;4216:5;4208:14;;;;;;;;;;;;;;;:26;4223:10;4208:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;4179:7;:14;4187:5;4179:14;;;;;;;;;;;;;;;:26;4194:10;4179:26;;;;;;;;;;;;;;;:67;;;;4269:3;4253:28;;4262:5;4253:28;;;4274:6;4253:28;;;;;;;;;;;;;;;;;;4295:4;4288:11;;3855:450;;;;;:::o;8228:336::-;8311:1;8288:8;:20;8297:10;8288:20;;;;;;;;;;;;;;;;:24;8280:33;;;;;;;;8356:3;8338:7;8332:21;:27;8324:36;;;;;;;;8396:27;8421:1;8396:8;:20;8405:10;8396:20;;;;;;;;;;;;;;;;:24;;:27;;;;:::i;:::-;8373:8;:20;8382:10;8373:20;;;;;;;;;;;;;;;:50;;;;8453:22;8473:1;8453:15;;:19;;:22;;;;:::i;:::-;8434:15;:41;;;;8507:25;8530:1;8507:18;;:22;;:25;;;;:::i;:::-;8486:18;:46;;;;8543:13;8548:7;8543:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8228:336:0;:::o;7408:25::-;;;;;;;;;;;;;:::o;6798:408::-;6882:4;6895:13;6911:7;:19;6919:10;6911:19;;;;;;;;;;;;;;;:29;6931:8;6911:29;;;;;;;;;;;;;;;;6895:45;;6970:8;6951:16;:27;6947:168;;;7021:1;6989:7;:19;6997:10;6989:19;;;;;;;;;;;;;;;:29;7009:8;6989:29;;;;;;;;;;;;;;;:33;;;;6947:168;;;7077:30;7090:16;7077:8;:12;;:30;;;;:::i;:::-;7045:7;:19;7053:10;7045:19;;;;;;;;;;;;;;;:29;7065:8;7045:29;;;;;;;;;;;;;;;:62;;;;6947:168;7142:8;7121:61;;7130:10;7121:61;;;7152:7;:19;7160:10;7152:19;;;;;;;;;;;;;;;:29;7172:8;7152:29;;;;;;;;;;;;;;;;7121:61;;;;;;;;;;;;;;;;;;7196:4;7189:11;;6798:408;;;;;:::o;3059:109::-;3115:15;3146:8;:16;3155:6;3146:16;;;;;;;;;;;;;;;;3139:23;;3059:109;;;:::o;8572:310::-;8647:1;8623:8;:20;8632:10;8623:20;;;;;;;;;;;;;;;;:25;8615:34;;;;;;;;8679:1;8668:8;;:12;8660:21;;;;;;;;8718:2;8700:15;;:20;8692:29;;;;;;;;8745:15;8758:1;8745:8;;:12;;:15;;;;:::i;:::-;8734:8;:26;;;;8794:28;8819:2;8794:8;:20;8803:10;8794:20;;;;;;;;;;;;;;;;:24;;:28;;;;:::i;:::-;8771:8;:20;8780:10;8771:20;;;;;;;;;;;;;;;:51;;;;8851:23;8871:2;8851:15;;:19;;:23;;;;:::i;:::-;8833:15;:41;;;;8572:310::o;7372:29::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2462:388::-;2525:4;2561:1;2546:17;;:3;:17;;;;2538:26;;;;;;;;2589:8;:20;2598:10;2589:20;;;;;;;;;;;;;;;;2579:6;:30;;2571:39;;;;;;;;2706:32;2731:6;2706:8;:20;2715:10;2706:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2683:8;:20;2692:10;2683:20;;;;;;;;;;;;;;;:55;;;;2761:25;2779:6;2761:8;:13;2770:3;2761:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2745:8;:13;2754:3;2745:13;;;;;;;;;;;;;;;:41;;;;2814:3;2793:33;;2802:10;2793:33;;;2819:6;2793:33;;;;;;;;;;;;;;;;;;2840:4;2833:11;;2462:388;;;;:::o;7609:37::-;;;;:::o;6059:263::-;6138:4;6184:46;6218:11;6184:7;:19;6192:10;6184:19;;;;;;;;;;;;;;;:29;6204:8;6184:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;6151:7;:19;6159:10;6151:19;;;;;;;;;;;;;;;:29;6171:8;6151:29;;;;;;;;;;;;;;;:79;;;;6258:8;6237:61;;6246:10;6237:61;;;6268:7;:19;6276:10;6268:19;;;;;;;;;;;;;;;:29;6288:8;6268:29;;;;;;;;;;;;;;;;6237:61;;;;;;;;;;;;;;;;;;6312:4;6305:11;;6059:263;;;;:::o;7495:30::-;;;;:::o;5460:129::-;5535:7;5558;:15;5566:6;5558:15;;;;;;;;;;;;;;;:25;5574:8;5558:25;;;;;;;;;;;;;;;;5551:32;;5460:129;;;;:::o;7573:29::-;;;;:::o;7939:281::-;8017:15;;8007:6;:25;;7999:34;;;;;;;;8080:9;8052:24;8063:12;8052:6;:10;;:24;;;;:::i;:::-;:37;8044:46;;;;;;;;8119:27;8139:6;8119:15;;:19;;:27;;;;:::i;:::-;8101:15;:45;;;;8180:32;8205:6;8180:8;:20;8189:10;8180:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;8157:8;:20;8166:10;8157:20;;;;;;;;;;;;;;;:55;;;;7939:281;:::o;940:113::-;998:7;1026:1;1021;:6;;1014:14;;;;;;1046:1;1042;:5;1035:12;;940:113;;;;:::o;1120:133::-;1178:7;1194:9;1210:1;1206;:5;1194:17;;1230:1;1225;:6;;1218:14;;;;;;1246:1;1239:8;;1120:133;;;;;:::o;284:180::-;342:7;401:9;367:1;362;:6;358:37;;;386:1;379:8;;;;358:37;417:1;413;:5;401:17;;441:1;436;432;:5;;;;;;;;:10;425:18;;;;;;457:1;450:8;;284:180;;;;;;:::o

bzzr://8ee6f2668cceb0f43afd0e273b0e16bfcf1ce76d55b3402e561eb2a435b6bd23