Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.24;

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

  /**
  * @dev Multiplies two numbers, reverts on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
    if (a == 0) {
      return 0;
    }

    uint256 c = a * b;
    require(c / a == b);

    return c;
  }

  /**
  * @dev Integer division of two numbers truncating the quotient, reverts on division by zero.
  */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b > 0); // Solidity only automatically asserts 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 Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b <= a);
    uint256 c = a - b;

    return c;
  }

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

    return c;
  }

  /**
  * @dev Divides two numbers and returns the remainder (unsigned integer modulo),
  * reverts when dividing by zero.
  */
  function mod(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b != 0);
    return a % b;
  }
}

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
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
  );
}


/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
 * Originally based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract ERC20 is IERC20 {
  using SafeMath for uint256;

  mapping (address => uint256) private _balances;

  mapping (address => mapping (address => uint256)) private _allowed;

  uint256 private _totalSupply;
  
  string private _name;
  string private _symbol;
  uint8 private _decimals;

  constructor() public {
      _totalSupply = 21000000000000000;
      _balances[msg.sender] = _totalSupply;
      _name = "Future Mine";
      _symbol = "FM";
      _decimals = 8;
  }
  
  /**
   * @return the name of the token.
   */
  function name() public view returns(string) {
    return _name;
  }

  /**
   * @return the symbol of the token.
   */
  function symbol() public view returns(string) {
    return _symbol;
  }

  /**
   * @return the number of decimals of the token.
   */
  function decimals() public view returns(uint8) {
    return _decimals;
  }

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

  /**
  * @dev Gets the balance of the specified address.
  * @param owner The address to query 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];
  }

  /**
   * @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 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(value <= _balances[msg.sender]);
    require(to != address(0));

    _balances[msg.sender] = _balances[msg.sender].sub(value);
    _balances[to] = _balances[to].add(value);
    emit Transfer(msg.sender, 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) {
    require(spender != address(0));

    _allowed[msg.sender][spender] = value;
    emit Approval(msg.sender, spender, value);
    return true;
  }

  /**
   * @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(value <= _balances[from]);
    require(value <= _allowed[from][msg.sender]);
    require(to != address(0));

    _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 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 increaseAllowance(
    address spender,
    uint256 addedValue
  )
    public
    returns (bool)
  {
    require(spender != address(0));

    _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 decreaseAllowance(
    address spender,
    uint256 subtractedValue
  )
    public
    returns (bool)
  {
    require(spender != address(0));

    _allowed[msg.sender][spender] = (
      _allowed[msg.sender][spender].sub(subtractedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    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":"addedValue","type":"uint256"}],"name":"increaseAllowance","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":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":"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":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","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"}]

608060405234801561001057600080fd5b50664a9b638448800060028190553360009081526020818152604091829020929092558051808201909152600b8082527f467574757265204d696e650000000000000000000000000000000000000000009190920190815261007591600391906100cd565b506040805180820190915260028082527f464d00000000000000000000000000000000000000000000000000000000000060209092019182526100ba916004916100cd565b506005805460ff19166008179055610168565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061010e57805160ff191683800117855561013b565b8280016001018555821561013b579182015b8281111561013b578251825591602001919060010190610120565b5061014792915061014b565b5090565b61016591905b808211156101475760008155600101610151565b90565b61082f806101776000396000f3006080604052600436106100ae5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100b3578063095ea7b31461013d57806318160ddd1461017557806323b872dd1461019c578063313ce567146101c657806339509351146101f157806370a082311461021557806395d89b4114610236578063a457c2d71461024b578063a9059cbb1461026f578063dd62ed3e14610293575b600080fd5b3480156100bf57600080fd5b506100c86102ba565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101025781810151838201526020016100ea565b50505050905090810190601f16801561012f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561014957600080fd5b50610161600160a060020a0360043516602435610350565b604080519115158252519081900360200190f35b34801561018157600080fd5b5061018a6103ce565b60408051918252519081900360200190f35b3480156101a857600080fd5b50610161600160a060020a03600435811690602435166044356103d4565b3480156101d257600080fd5b506101db610549565b6040805160ff9092168252519081900360200190f35b3480156101fd57600080fd5b50610161600160a060020a0360043516602435610552565b34801561022157600080fd5b5061018a600160a060020a0360043516610602565b34801561024257600080fd5b506100c861061d565b34801561025757600080fd5b50610161600160a060020a036004351660243561067e565b34801561027b57600080fd5b50610161600160a060020a03600435166024356106c9565b34801561029f57600080fd5b5061018a600160a060020a03600435811690602435166107a8565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103465780601f1061031b57610100808354040283529160200191610346565b820191906000526020600020905b81548152906001019060200180831161032957829003601f168201915b5050505050905090565b6000600160a060020a038316151561036757600080fd5b336000818152600160209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60025490565b600160a060020a0383166000908152602081905260408120548211156103f957600080fd5b600160a060020a038416600090815260016020908152604080832033845290915290205482111561042957600080fd5b600160a060020a038316151561043e57600080fd5b600160a060020a038416600090815260208190526040902054610467908363ffffffff6107d316565b600160a060020a03808616600090815260208190526040808220939093559085168152205461049c908363ffffffff6107ea16565b600160a060020a038085166000908152602081815260408083209490945591871681526001825282812033825290915220546104de908363ffffffff6107d316565b600160a060020a03808616600081815260016020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60055460ff1690565b6000600160a060020a038316151561056957600080fd5b336000908152600160209081526040808320600160a060020a038716845290915290205461059d908363ffffffff6107ea16565b336000818152600160209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a031660009081526020819052604090205490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103465780601f1061031b57610100808354040283529160200191610346565b6000600160a060020a038316151561069557600080fd5b336000908152600160209081526040808320600160a060020a038716845290915290205461059d908363ffffffff6107d316565b336000908152602081905260408120548211156106e557600080fd5b600160a060020a03831615156106fa57600080fd5b3360009081526020819052604090205461071a908363ffffffff6107d316565b3360009081526020819052604080822092909255600160a060020a0385168152205461074c908363ffffffff6107ea16565b600160a060020a038416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b600080838311156107e357600080fd5b5050900390565b6000828201838110156107fc57600080fd5b93925050505600a165627a7a723058207c76a7ddbc54ada13b15b6e765d04ae953991c0de7361c7b8ded6b70b97ca4930029

0x6080604052600436106100ae5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100b3578063095ea7b31461013d57806318160ddd1461017557806323b872dd1461019c578063313ce567146101c657806339509351146101f157806370a082311461021557806395d89b4114610236578063a457c2d71461024b578063a9059cbb1461026f578063dd62ed3e14610293575b600080fd5b3480156100bf57600080fd5b506100c86102ba565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101025781810151838201526020016100ea565b50505050905090810190601f16801561012f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561014957600080fd5b50610161600160a060020a0360043516602435610350565b604080519115158252519081900360200190f35b34801561018157600080fd5b5061018a6103ce565b60408051918252519081900360200190f35b3480156101a857600080fd5b50610161600160a060020a03600435811690602435166044356103d4565b3480156101d257600080fd5b506101db610549565b6040805160ff9092168252519081900360200190f35b3480156101fd57600080fd5b50610161600160a060020a0360043516602435610552565b34801561022157600080fd5b5061018a600160a060020a0360043516610602565b34801561024257600080fd5b506100c861061d565b34801561025757600080fd5b50610161600160a060020a036004351660243561067e565b34801561027b57600080fd5b50610161600160a060020a03600435166024356106c9565b34801561029f57600080fd5b5061018a600160a060020a03600435811690602435166107a8565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103465780601f1061031b57610100808354040283529160200191610346565b820191906000526020600020905b81548152906001019060200180831161032957829003601f168201915b5050505050905090565b6000600160a060020a038316151561036757600080fd5b336000818152600160209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60025490565b600160a060020a0383166000908152602081905260408120548211156103f957600080fd5b600160a060020a038416600090815260016020908152604080832033845290915290205482111561042957600080fd5b600160a060020a038316151561043e57600080fd5b600160a060020a038416600090815260208190526040902054610467908363ffffffff6107d316565b600160a060020a03808616600090815260208190526040808220939093559085168152205461049c908363ffffffff6107ea16565b600160a060020a038085166000908152602081815260408083209490945591871681526001825282812033825290915220546104de908363ffffffff6107d316565b600160a060020a03808616600081815260016020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60055460ff1690565b6000600160a060020a038316151561056957600080fd5b336000908152600160209081526040808320600160a060020a038716845290915290205461059d908363ffffffff6107ea16565b336000818152600160209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a031660009081526020819052604090205490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103465780601f1061031b57610100808354040283529160200191610346565b6000600160a060020a038316151561069557600080fd5b336000908152600160209081526040808320600160a060020a038716845290915290205461059d908363ffffffff6107d316565b336000908152602081905260408120548211156106e557600080fd5b600160a060020a03831615156106fa57600080fd5b3360009081526020819052604090205461071a908363ffffffff6107d316565b3360009081526020819052604080822092909255600160a060020a0385168152205461074c908363ffffffff6107ea16565b600160a060020a038416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b600080838311156107e357600080fd5b5050900390565b6000828201838110156107fc57600080fd5b93925050505600a165627a7a723058207c76a7ddbc54ada13b15b6e765d04ae953991c0de7361c7b8ded6b70b97ca4930029

2810:5560:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3365:69;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3365:69: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;3365:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5761:226;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5761:226:0;-1:-1:-1;;;;;5761:226:0;;;;;;;;;;;;;;;;;;;;;;;;;3778:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3778:85:0;;;;;;;;;;;;;;;;;;;;6267:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6267:475:0;-1:-1:-1;;;;;6267:475:0;;;;;;;;;;;;3637:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3637:76:0;;;;;;;;;;;;;;;;;;;;;;;7204:343;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7204:343:0;-1:-1:-1;;;;;7204:343:0;;;;;;;4067:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4067:100:0;-1:-1:-1;;;;;4067:100:0;;;;;3493:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3493:73:0;;;;8014:353;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8014:353:0;-1:-1:-1;;;;;8014:353:0;;;;;;;4810:324;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4810:324:0;-1:-1:-1;;;;;4810:324:0;;;;;;;4492:159;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4492:159:0;-1:-1:-1;;;;;4492:159:0;;;;;;;;;;3365:69;3423:5;3416:12;;;;;;;;-1:-1:-1;;3416:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3401:6;;3416:12;;3423:5;;3416:12;;3423:5;3416:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3365:69;:::o;5761:226::-;5826:4;-1:-1:-1;;;;;5847:21:0;;;;5839:30;;;;;;5887:10;5878:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5878:29:0;;;;;;;;;;;;:37;;;5927:36;;;;;;;5878:29;;5887:10;5927:36;;;;;;;;;;;-1:-1:-1;5977:4:0;5761:226;;;;:::o;3778:85::-;3845:12;;3778:85;:::o;6267:475::-;-1:-1:-1;;;;;6409:15:0;;6376:4;6409:15;;;;;;;;;;;6400:24;;;6392:33;;;;;;-1:-1:-1;;;;;6449:14:0;;;;;;:8;:14;;;;;;;;6464:10;6449:26;;;;;;;;6440:35;;;6432:44;;;;;;-1:-1:-1;;;;;6491:16:0;;;;6483:25;;;;;;-1:-1:-1;;;;;6535:15:0;;:9;:15;;;;;;;;;;;:26;;6555:5;6535:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;6517:15:0;;;:9;:15;;;;;;;;;;;:44;;;;6584:13;;;;;;;:24;;6602:5;6584:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;6568:13:0;;;:9;:13;;;;;;;;;;;:40;;;;6644:14;;;;;:8;:14;;;;;6659:10;6644:26;;;;;;;:37;;6675:5;6644:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;6615:14:0;;;;;;;:8;:14;;;;;;;;6630:10;6615:26;;;;;;;;:66;;;;6693:25;;;;;;;;;;;6615:14;;6693:25;;;;;;;;;;;-1:-1:-1;6732:4:0;6267:475;;;;;:::o;3637:76::-;3698:9;;;;3637:76;:::o;7204:343::-;7309:4;-1:-1:-1;;;;;7333:21:0;;;;7325:30;;;;;;7414:10;7405:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;7405:29:0;;;;;;;;;;:45;;7439:10;7405:45;:33;:45;:::i;:::-;7373:10;7364:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;7364:29:0;;;;;;;;;;;;:87;;;7463:60;;;;;;7364:29;;7463:60;;;;;;;;;;;-1:-1:-1;7537:4:0;7204:343;;;;:::o;4067:100::-;-1:-1:-1;;;;;4145:16:0;4122:7;4145:16;;;;;;;;;;;;4067:100::o;3493:73::-;3553:7;3546:14;;;;;;;;-1:-1:-1;;3546:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3531:6;;3546:14;;3553:7;;3546:14;;3553:7;3546:14;;;;;;;;;;;;;;;;;;;;;;;;8014:353;8124:4;-1:-1:-1;;;;;8148:21:0;;;;8140:30;;;;;;8229:10;8220:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;8220:29:0;;;;;;;;;;:50;;8254:15;8220:50;:33;:50;:::i;4810:324::-;4911:10;4871:4;4901:21;;;;;;;;;;;4892:30;;;4884:39;;;;;;-1:-1:-1;;;;;4938:16:0;;;;4930:25;;;;;;4998:10;4988:9;:21;;;;;;;;;;;:32;;5014:5;4988:32;:25;:32;:::i;:::-;4974:10;4964:9;:21;;;;;;;;;;;:56;;;;-1:-1:-1;;;;;5043:13:0;;;;;;:24;;5061:5;5043:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;5027:13:0;;:9;:13;;;;;;;;;;;;:40;;;;5079:31;;;;;;;5027:13;;5088:10;;5079:31;;;;;;;;;;-1:-1:-1;5124:4:0;4810:324;;;;:::o;4492:159::-;-1:-1:-1;;;;;4621:15:0;;;4595:7;4621:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;4492:159::o;1117:136::-;1175:7;;1199:6;;;;1191:15;;;;;;-1:-1:-1;;1225:5:0;;;1117:136::o;1321:::-;1379:7;1407:5;;;1427:6;;;;1419:15;;;;;;1450:1;1321:136;-1:-1:-1;;;1321:136:0:o

bzzr://7c76a7ddbc54ada13b15b6e765d04ae953991c0de7361c7b8ded6b70b97ca493