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 totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract BasicToken is ERC20Basic
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(
•    - function approve(address _spender, ui ...
•    - function allowance(
•    - function increaseApproval(
•    - function decreaseApproval(
•  contract Ownable
•    - function transferOwnership(address _n ...
•    - function _transferOwnership(address _ ...
•  contract CSNTToken is StandardToke ... *
•    - function batchTransfer(address[] _to, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-01-06
*/

/**
 *Submitted for verification at Etherscan.io on 2019-10-08
*/

pragma solidity ^0.4.24;


/**
 * @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 c) {
    // Gas optimization: this is cheaper than asserting 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
    if (a == 0) {
      return 0;
    }

    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 a / b;
  }

  /**
  * @dev Subtracts 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 c) {
    c = a + b;
    assert(c >= a);
    return c;
  }
}


/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * See https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  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 Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  uint256 totalSupply_;

  /**
  * @dev Total number of tokens in existence
  */
  function totalSupply() public view returns (uint256) {
    return totalSupply_;
  }

  /**
  * @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]);

    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    emit 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) {
    return balances[_owner];
  }

}

/**
 * @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 Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/issues/20
 * 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);
    emit 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;
    emit 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,
    uint256 _addedValue
  )
    public
    returns (bool)
  {
    allowed[msg.sender][_spender] = (
      allowed[msg.sender][_spender].add(_addedValue));
    emit 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,
    uint256 _subtractedValue
  )
    public
    returns (bool)
  {
    uint256 oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}


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

contract Ownable {
  address public owner;

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


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

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

  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param _newOwner The address to transfer ownership to.
   */
  function transferOwnership(address _newOwner) public onlyOwner {
    _transferOwnership(_newOwner);
  }

  /**
   * @dev Transfers control of the contract to a newOwner.
   * @param _newOwner The address to transfer ownership to.
   */
  function _transferOwnership(address _newOwner) internal {
    require(_newOwner != address(0)); 
    emit OwnershipTransferred(owner, _newOwner);
    owner = _newOwner;
  }
}


contract CSNTToken is StandardToken {

    string public name = "Curvature Speed Network Token";
    string public symbol = "CSNT";
    uint8 public decimals = 18;

    constructor() public {
        totalSupply_ = 1000000000 * (10 ** uint256(decimals));
        balances[msg.sender] = totalSupply_;
        emit Transfer(address(0), msg.sender, totalSupply_);
    }

    function batchTransfer(address[] _to, uint256[] value) public returns(bool success){
        require(_to.length == value.length);
        for( uint256 i = 0; i < _to.length; i++ ){
            transfer(_to[i],value[i]);
        }
        return true;
    }

}

• 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":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":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":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address[]"},{"name":"value","type":"uint256[]"}],"name":"batchTransfer","outputs":[{"name":"success","type":"bool"}],"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":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":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"}]

60c0604052601d60808190527f437572766174757265205370656564204e6574776f726b20546f6b656e00000060a090815261003e91600391906100fc565b506040805180820190915260048082527f43534e5400000000000000000000000000000000000000000000000000000000602090920191825261008191816100fc565b506005805460ff1916601217905534801561009b57600080fd5b5060055460ff16600a0a633b9aca0002600181905533600081815260208181526040808320859055805194855251929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3610197565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061013d57805160ff191683800117855561016a565b8280016001018555821561016a579182015b8281111561016a57825182559160200191906001019061014f565b5061017692915061017a565b5090565b61019491905b808211156101765760008155600101610180565b90565b610994806101a66000396000f3006080604052600436106100b95763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100be578063095ea7b31461014857806318160ddd1461018057806323b872dd146101a7578063313ce567146101d157806366188463146101fc57806370a082311461022057806388d695b21461024157806395d89b41146102cf578063a9059cbb146102e4578063d73dd62314610308578063dd62ed3e1461032c575b600080fd5b3480156100ca57600080fd5b506100d3610353565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561010d5781810151838201526020016100f5565b50505050905090810190601f16801561013a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015457600080fd5b5061016c600160a060020a03600435166024356103e1565b604080519115158252519081900360200190f35b34801561018c57600080fd5b50610195610447565b60408051918252519081900360200190f35b3480156101b357600080fd5b5061016c600160a060020a036004358116906024351660443561044d565b3480156101dd57600080fd5b506101e66105c4565b6040805160ff9092168252519081900360200190f35b34801561020857600080fd5b5061016c600160a060020a03600435166024356105cd565b34801561022c57600080fd5b50610195600160a060020a03600435166106bd565b34801561024d57600080fd5b506040805160206004803580820135838102808601850190965280855261016c95369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a9989019892975090820195509350839250850190849080828437509497506106d89650505050505050565b3480156102db57600080fd5b506100d3610743565b3480156102f057600080fd5b5061016c600160a060020a036004351660243561079e565b34801561031457600080fd5b5061016c600160a060020a036004351660243561087f565b34801561033857600080fd5b50610195600160a060020a0360043581169060243516610918565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d95780601f106103ae576101008083540402835291602001916103d9565b820191906000526020600020905b8154815290600101906020018083116103bc57829003601f168201915b505050505081565b336000818152600260209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60015490565b6000600160a060020a038316151561046457600080fd5b600160a060020a03841660009081526020819052604090205482111561048957600080fd5b600160a060020a03841660009081526002602090815260408083203384529091529020548211156104b957600080fd5b600160a060020a0384166000908152602081905260409020546104e2908363ffffffff61094316565b600160a060020a038086166000908152602081905260408082209390935590851681522054610517908363ffffffff61095516565b600160a060020a03808516600090815260208181526040808320949094559187168152600282528281203382529091522054610559908363ffffffff61094316565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60055460ff1681565b336000908152600260209081526040808320600160a060020a03861684529091528120548083111561062257336000908152600260209081526040808320600160a060020a0388168452909152812055610657565b610632818463ffffffff61094316565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526020819052604090205490565b600080825184511415156106eb57600080fd5b5060005b835181101561073957610730848281518110151561070957fe5b90602001906020020151848381518110151561072157fe5b9060200190602002015161079e565b506001016106ef565b5060019392505050565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d95780601f106103ae576101008083540402835291602001916103d9565b6000600160a060020a03831615156107b557600080fd5b336000908152602081905260409020548211156107d157600080fd5b336000908152602081905260409020546107f1908363ffffffff61094316565b3360009081526020819052604080822092909255600160a060020a03851681522054610823908363ffffffff61095516565b600160a060020a038416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600260209081526040808320600160a060020a03861684529091528120546108b3908363ffffffff61095516565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561094f57fe5b50900390565b8181018281101561096257fe5b929150505600a165627a7a72305820976a77578ff4ef5099a433bf77e25857078ec1d6f0e31fb3a5637c318b65ffcf0029

0x6080604052600436106100b95763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100be578063095ea7b31461014857806318160ddd1461018057806323b872dd146101a7578063313ce567146101d157806366188463146101fc57806370a082311461022057806388d695b21461024157806395d89b41146102cf578063a9059cbb146102e4578063d73dd62314610308578063dd62ed3e1461032c575b600080fd5b3480156100ca57600080fd5b506100d3610353565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561010d5781810151838201526020016100f5565b50505050905090810190601f16801561013a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015457600080fd5b5061016c600160a060020a03600435166024356103e1565b604080519115158252519081900360200190f35b34801561018c57600080fd5b50610195610447565b60408051918252519081900360200190f35b3480156101b357600080fd5b5061016c600160a060020a036004358116906024351660443561044d565b3480156101dd57600080fd5b506101e66105c4565b6040805160ff9092168252519081900360200190f35b34801561020857600080fd5b5061016c600160a060020a03600435166024356105cd565b34801561022c57600080fd5b50610195600160a060020a03600435166106bd565b34801561024d57600080fd5b506040805160206004803580820135838102808601850190965280855261016c95369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a9989019892975090820195509350839250850190849080828437509497506106d89650505050505050565b3480156102db57600080fd5b506100d3610743565b3480156102f057600080fd5b5061016c600160a060020a036004351660243561079e565b34801561031457600080fd5b5061016c600160a060020a036004351660243561087f565b34801561033857600080fd5b50610195600160a060020a0360043581169060243516610918565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d95780601f106103ae576101008083540402835291602001916103d9565b820191906000526020600020905b8154815290600101906020018083116103bc57829003601f168201915b505050505081565b336000818152600260209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60015490565b6000600160a060020a038316151561046457600080fd5b600160a060020a03841660009081526020819052604090205482111561048957600080fd5b600160a060020a03841660009081526002602090815260408083203384529091529020548211156104b957600080fd5b600160a060020a0384166000908152602081905260409020546104e2908363ffffffff61094316565b600160a060020a038086166000908152602081905260408082209390935590851681522054610517908363ffffffff61095516565b600160a060020a03808516600090815260208181526040808320949094559187168152600282528281203382529091522054610559908363ffffffff61094316565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60055460ff1681565b336000908152600260209081526040808320600160a060020a03861684529091528120548083111561062257336000908152600260209081526040808320600160a060020a0388168452909152812055610657565b610632818463ffffffff61094316565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526020819052604090205490565b600080825184511415156106eb57600080fd5b5060005b835181101561073957610730848281518110151561070957fe5b90602001906020020151848381518110151561072157fe5b9060200190602002015161079e565b506001016106ef565b5060019392505050565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d95780601f106103ae576101008083540402835291602001916103d9565b6000600160a060020a03831615156107b557600080fd5b336000908152602081905260409020548211156107d157600080fd5b336000908152602081905260409020546107f1908363ffffffff61094316565b3360009081526020819052604080822092909255600160a060020a03851681522054610823908363ffffffff61095516565b600160a060020a038416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600260209081526040808320600160a060020a03861684529091528120546108b3908363ffffffff61095516565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561094f57fe5b50900390565b8181018281101561096257fe5b929150505600a165627a7a72305820976a77578ff4ef5099a433bf77e25857078ec1d6f0e31fb3a5637c318b65ffcf0029

9029:651:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9074:52;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9074:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;9074:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5373:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5373:193:0;-1:-1:-1;;;;;5373:193:0;;;;;;;;;;;;;;;;;;;;;;;;;2195:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2195:85:0;;;;;;;;;;;;;;;;;;;;4255:489;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4255:489:0;-1:-1:-1;;;;;4255:489:0;;;;;;;;;;;;9169:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9169:26:0;;;;;;;;;;;;;;;;;;;;;;;7293:446;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7293:446:0;-1:-1:-1;;;;;7293:446:0;;;;;;;2981:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2981:101:0;-1:-1:-1;;;;;2981:101:0;;;;;9413:262;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;9413:262:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;9413:262:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9413:262:0;;;;-1:-1:-1;9413:262:0;-1:-1:-1;9413:262:0;;-1:-1:-1;9413:262:0;;;;;;;;;-1:-1:-1;9413:262:0;;-1:-1:-1;9413:262:0;;-1:-1:-1;;;;;;;9413:262:0;9133:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9133:29:0;;;;2441:331;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2441:331:0;-1:-1:-1;;;;;2441:331:0;;;;;;;6518:307;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6518:307:0;-1:-1:-1;;;;;6518:307:0;;;;;;;5893:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5893:162:0;-1:-1:-1;;;;;5893:162:0;;;;;;;;;;9074:52;;;;;;;;;;;;;;;-1:-1:-1;;9074:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5373:193::-;5461:10;5440:4;5453:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5453:29:0;;;;;;;;;;;:38;;;5503;;;;;;;5440:4;;5453:29;;5461:10;;5503:38;;;;;;;;-1:-1:-1;5555:4:0;5373:193;;;;:::o;2195:85::-;2262:12;;2195:85;:::o;4255:489::-;4367:4;-1:-1:-1;;;;;4391:17:0;;;;4383:26;;;;;;-1:-1:-1;;;;;4435:15:0;;:8;:15;;;;;;;;;;;4425:25;;;4417:34;;;;;;-1:-1:-1;;;;;4476:14:0;;;;;;:7;:14;;;;;;;;4491:10;4476:26;;;;;;;;4466:36;;;4458:45;;;;;;-1:-1:-1;;;;;4530:15:0;;:8;:15;;;;;;;;;;;:27;;4550:6;4530:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;4512:15:0;;;:8;:15;;;;;;;;;;;:45;;;;4580:13;;;;;;;:25;;4598:6;4580:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4564:13:0;;;:8;:13;;;;;;;;;;;:41;;;;4641:14;;;;;:7;:14;;;;;4656:10;4641:26;;;;;;;:38;;4672:6;4641:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4612:14:0;;;;;;;:7;:14;;;;;;;;4627:10;4612:26;;;;;;;;:67;;;;4691:28;;;;;;;;;;;4612:14;;4691:28;;;;;;;;;;;-1:-1:-1;4733:4:0;4255:489;;;;;:::o;9169:26::-;;;;;;:::o;7293:446::-;7447:10;7404:4;7439:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7439:29:0;;;;;;;;;;7479:27;;;7475:168;;;7525:10;7549:1;7517:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7517:29:0;;;;;;;;;:33;7475:168;;;7605:30;:8;7618:16;7605:30;:12;:30;:::i;:::-;7581:10;7573:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7573:29:0;;;;;;;;;:62;7475:168;7663:10;7685:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7654:61:0;;7685:29;;;;;;;;;;;7654:61;;;;;;;;;7663:10;7654:61;;;;;;;;;;;-1:-1:-1;7729:4:0;;7293:446;-1:-1:-1;;;7293:446:0:o;2981:101::-;-1:-1:-1;;;;;3060:16:0;3037:7;3060:16;;;;;;;;;;;;2981:101::o;9413:262::-;9483:12;9558:9;9529:5;:12;9515:3;:10;:26;9507:35;;;;;;;;-1:-1:-1;9570:1:0;9553:93;9577:3;:10;9573:1;:14;9553:93;;;9609:25;9618:3;9622:1;9618:6;;;;;;;;;;;;;;;;;;9625:5;9631:1;9625:8;;;;;;;;;;;;;;;;;;9609;:25::i;:::-;-1:-1:-1;9589:3:0;;9553:93;;;-1:-1:-1;9663:4:0;;9413:262;-1:-1:-1;;;9413:262:0:o;9133:29::-;;;;;;;;;;;;;;;-1:-1:-1;;9133:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2441:331;2504:4;-1:-1:-1;;;;;2525:17:0;;;;2517:26;;;;;;2578:10;2569:8;:20;;;;;;;;;;;2559:30;;;2551:39;;;;;;2631:10;2622:8;:20;;;;;;;;;;;:32;;2647:6;2622:32;:24;:32;:::i;:::-;2608:10;2599:8;:20;;;;;;;;;;;:55;;;;-1:-1:-1;;;;;2677:13:0;;;;;;:25;;2695:6;2677:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2661:13:0;;:8;:13;;;;;;;;;;;;:41;;;;2714:33;;;;;;;2661:13;;2723:10;;2714:33;;;;;;;;;;-1:-1:-1;2761:4:0;2441:331;;;;:::o;6518:307::-;6689:10;6624:4;6681:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6681:29:0;;;;;;;;;;:46;;6715:11;6681:46;:33;:46;:::i;:::-;6648:10;6640:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6640:29:0;;;;;;;;;;;;:88;;;6740:61;;;;;;6640:29;;6740:61;;;;;;;;;;;-1:-1:-1;6815:4:0;6518:307;;;;:::o;5893:162::-;-1:-1:-1;;;;;6024:15:0;;;5998:7;6024:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5893:162::o;1154:113::-;1212:7;1235:6;;;;1228:14;;;;-1:-1:-1;1256:5:0;;;1154:113::o;1334:127::-;1414:5;;;1433:6;;;;1426:14;;;;1334:127;;;;:::o

bzzr://976a77578ff4ef5099a433bf77e25857078ec1d6f0e31fb3a5637c318b65ffcf