Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity ^0.4.11;

//   _____ _____ _____ 
//  | __  |   __|     |
//  | __ -|   __| | | |
//  |_____|_____|_|_|_|

//  The Bitcoin Empire contract implements the standard token functionality (https://github.com/ethereum/EIPs/issues/20)
//  It follows the optional extras intended for use by humans https://github.com/consensys/tokens

import './IERC20.sol';
import './SafeMath.sol';

contract BitcoinEmpireToken is IERC20 {

  using SafeMath for uint256;
  
  string public constant symbol = "BEM";
  string public constant name = "Bitcoin Empire";
  uint8 public constant decimals = 18;
  uint public _totalSupply = 15000000000000000000000000; // 15,000,000 BEM initial supply assigned to Bitcoin Empire for distribution
  uint public _totalAvailable = 5000000000000000000000000; // 5,000,000 BEM available to create
  uint256 public constant MAXTOKENS = 20000000000000000000000000; // 20,000,000 BEM maximum limit
  uint256 public constant RATE = 8000; // 1 ETH = 8000 BEM

  address public owner;
  mapping(address => uint256) balances;
  mapping(address => mapping(address => uint256)) allowed;

  function () payable {
    createTokens();
  }

  function BitcoinEmpireToken() {
    balances[msg.sender] = _totalSupply;
    owner = msg.sender;
  }

  function createTokens() payable returns (bool success) {
    uint256 tokens = msg.value.mul(RATE);
    require(
      msg.value > 0
      && _totalAvailable >= tokens
    );
    balances[msg.sender] = balances[msg.sender].add(tokens);
    _totalSupply = _totalSupply.add(tokens);
    _totalAvailable = _totalAvailable.sub(tokens);
    owner.transfer(msg.value);
    return true;
  }

  function totalSupply() constant returns (uint256 totalSupply) {
    return _totalSupply;
  }

  function balanceOf(address _owner) constant returns (uint256 balance) {
    return balances[_owner];
  }

  function transfer(address _to, uint256 _value) returns (bool success) {
    require(
      _value > 0
      && balances[msg.sender] >= _value
    );
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    Transfer(msg.sender, _to, _value);
    return true;
  }

  function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {
    require(
      allowed[_from][msg.sender] >= _value
      && balances[_from] >= _value
      && _value > 0
    );
    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;
  }

  function approve(address _spender, uint256 _value) returns (bool success) {
    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
  }

  function allowance(address _owner, address _spender) constant returns (uint256 remaining) {
    return allowed[_owner][_spender];
  }

}

pragma solidity ^0.4.11;


/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
interface IERC20 {
  function totalSupply() public view returns (uint256);

  function balanceOf(address _who) public view returns (uint256);

  function allowance(address _owner, address _spender)
    public view returns (uint256);

  function transfer(address _to, uint256 _value) public returns (bool);

  function approve(address _spender, uint256 _value)
    public returns (bool);

  function transferFrom(address _from, address _to, uint256 _value)
    public returns (bool);

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

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

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 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) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

• 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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"totalSupply","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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"_totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"RATE","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"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":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"_totalAvailable","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"createTokens","outputs":[{"name":"success","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MAXTOKENS","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"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"}]

60606040526a0c685fa11e01ec6f0000006000556a0422ca8b0a00a425000000600155341561002d57600080fd5b600054600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610f6f806100c36000396000f3006060604052600436106100db576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100e6578063095ea7b31461017457806318160ddd146101ce57806323b872dd146101f7578063313ce567146102705780633eaaf86b1461029f578063664e9704146102c857806370a08231146102f15780638da5cb5b1461033e57806395d89b4114610393578063a9059cbb14610421578063b440fe9a1461047b578063b4427263146104a4578063dd62ed3e146104c6578063e4e5da8514610532575b6100e361055b565b50005b34156100f157600080fd5b6100f96106c7565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561013957808201518184015260208101905061011e565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561017f57600080fd5b6101b4600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610700565b604051808215151515815260200191505060405180910390f35b34156101d957600080fd5b6101e16107f2565b6040518082815260200191505060405180910390f35b341561020257600080fd5b610256600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107fb565b604051808215151515815260200191505060405180910390f35b341561027b57600080fd5b610283610b88565b604051808260ff1660ff16815260200191505060405180910390f35b34156102aa57600080fd5b6102b2610b8d565b6040518082815260200191505060405180910390f35b34156102d357600080fd5b6102db610b93565b6040518082815260200191505060405180910390f35b34156102fc57600080fd5b610328600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610b99565b6040518082815260200191505060405180910390f35b341561034957600080fd5b610351610be2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561039e57600080fd5b6103a6610c08565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103e65780820151818401526020810190506103cb565b50505050905090810190601f1680156104135780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561042c57600080fd5b610461600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610c41565b604051808215151515815260200191505060405180910390f35b341561048657600080fd5b61048e610e35565b6040518082815260200191505060405180910390f35b6104ac61055b565b604051808215151515815260200191505060405180910390f35b34156104d157600080fd5b61051c600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610e3b565b6040518082815260200191505060405180910390f35b341561053d57600080fd5b610545610ec2565b6040518082815260200191505060405180910390f35b600080610573611f4034610ed190919063ffffffff16565b905060003411801561058757508060015410155b151561059257600080fd5b6105e481600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061063c81600054610f0c90919063ffffffff16565b60008190555061065781600154610f2a90919063ffffffff16565b600181905550600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015156106bf57600080fd5b600191505090565b6040805190810160405280600e81526020017f426974636f696e20456d7069726500000000000000000000000000000000000081525081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008054905090565b600081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156108c8575081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b80156108d45750600082115b15156108df57600080fd5b61093182600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f2a90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506109c682600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a9882600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f2a90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b601281565b60005481565b611f4081565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600381526020017f42454d000000000000000000000000000000000000000000000000000000000081525081565b60008082118015610c91575081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b1515610c9c57600080fd5b610cee82600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f2a90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d8382600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60015481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6a108b2a2c2802909400000081565b6000806000841415610ee65760009150610f05565b8284029050828482811515610ef757fe5b04141515610f0157fe5b8091505b5092915050565b6000808284019050838110151515610f2057fe5b8091505092915050565b6000828211151515610f3857fe5b8183039050929150505600a165627a7a7230582031c54362295b9a863b555062e369cd69d07fc2ac6e214565c0b65e9cc5eeff9e0029

0x6060604052600436106100db576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100e6578063095ea7b31461017457806318160ddd146101ce57806323b872dd146101f7578063313ce567146102705780633eaaf86b1461029f578063664e9704146102c857806370a08231146102f15780638da5cb5b1461033e57806395d89b4114610393578063a9059cbb14610421578063b440fe9a1461047b578063b4427263146104a4578063dd62ed3e146104c6578063e4e5da8514610532575b6100e361055b565b50005b34156100f157600080fd5b6100f96106c7565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561013957808201518184015260208101905061011e565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561017f57600080fd5b6101b4600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610700565b604051808215151515815260200191505060405180910390f35b34156101d957600080fd5b6101e16107f2565b6040518082815260200191505060405180910390f35b341561020257600080fd5b610256600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107fb565b604051808215151515815260200191505060405180910390f35b341561027b57600080fd5b610283610b88565b604051808260ff1660ff16815260200191505060405180910390f35b34156102aa57600080fd5b6102b2610b8d565b6040518082815260200191505060405180910390f35b34156102d357600080fd5b6102db610b93565b6040518082815260200191505060405180910390f35b34156102fc57600080fd5b610328600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610b99565b6040518082815260200191505060405180910390f35b341561034957600080fd5b610351610be2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561039e57600080fd5b6103a6610c08565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103e65780820151818401526020810190506103cb565b50505050905090810190601f1680156104135780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561042c57600080fd5b610461600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610c41565b604051808215151515815260200191505060405180910390f35b341561048657600080fd5b61048e610e35565b6040518082815260200191505060405180910390f35b6104ac61055b565b604051808215151515815260200191505060405180910390f35b34156104d157600080fd5b61051c600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610e3b565b6040518082815260200191505060405180910390f35b341561053d57600080fd5b610545610ec2565b6040518082815260200191505060405180910390f35b600080610573611f4034610ed190919063ffffffff16565b905060003411801561058757508060015410155b151561059257600080fd5b6105e481600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061063c81600054610f0c90919063ffffffff16565b60008190555061065781600154610f2a90919063ffffffff16565b600181905550600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc349081150290604051600060405180830381858888f1935050505015156106bf57600080fd5b600191505090565b6040805190810160405280600e81526020017f426974636f696e20456d7069726500000000000000000000000000000000000081525081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008054905090565b600081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156108c8575081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b80156108d45750600082115b15156108df57600080fd5b61093182600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f2a90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506109c682600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a9882600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f2a90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b601281565b60005481565b611f4081565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600381526020017f42454d000000000000000000000000000000000000000000000000000000000081525081565b60008082118015610c91575081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b1515610c9c57600080fd5b610cee82600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f2a90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d8382600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f0c90919063ffffffff16565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60015481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6a108b2a2c2802909400000081565b6000806000841415610ee65760009150610f05565b8284029050828482811515610ef757fe5b04141515610f0157fe5b8091505b5092915050565b6000808284019050838110151515610f2057fe5b8091505092915050565b6000828211151515610f3857fe5b8183039050929150505600a165627a7a7230582031c54362295b9a863b555062e369cd69d07fc2ac6e214565c0b65e9cc5eeff9e0029

392:2543:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1136:14;:12;:14::i;:::-;;392:2543;509:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;509:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2611:184;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1649:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2173:434;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;559:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;598:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;926:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1745:104;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;986:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;468:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;468:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1853:316;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;732:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1263:382;;;;;;;;;;;;;;;;;;;;;;;;;;;2799:133;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;828:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1263:382;1304:12;1324:14;1341:19;957:4;1341:9;:13;;:19;;;;:::i;:::-;1324:36;;1393:1;1381:9;:13;:48;;;;;1423:6;1404:15;;:25;;1381:48;1366:69;;;;;;;;1464:32;1489:6;1464:8;:20;1473:10;1464:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;1441:8;:20;1450:10;1441:20;;;;;;;;;;;;;;;:55;;;;1517:24;1534:6;1517:12;;:16;;:24;;;;:::i;:::-;1502:12;:39;;;;1565:27;1585:6;1565:15;;:19;;:27;;;;:::i;:::-;1547:15;:45;;;;1598:5;;;;;;;;;;;:14;;:25;1613:9;1598:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1636:4;1629:11;;1263:382;;:::o;509:46::-;;;;;;;;;;;;;;;;;;;;:::o;2611:184::-;2671:12;2723:6;2691:7;:19;2699:10;2691:19;;;;;;;;;;;;;;;:29;2711:8;2691:29;;;;;;;;;;;;;;;:38;;;;2756:8;2735:38;;2744:10;2735:38;;;2766:6;2735:38;;;;;;;;;;;;;;;;;;2786:4;2779:11;;2611:184;;;;:::o;1649:92::-;1690:19;1724:12;;1717:19;;1649:92;:::o;2173:434::-;2248:12;2313:6;2283:7;:14;2291:5;2283:14;;;;;;;;;;;;;;;:26;2298:10;2283:26;;;;;;;;;;;;;;;;:36;;:71;;;;;2348:6;2329:8;:15;2338:5;2329:15;;;;;;;;;;;;;;;;:25;;2283:71;:91;;;;;2373:1;2364:6;:10;2283:91;2268:112;;;;;;;;2404:27;2424:6;2404:8;:15;2413:5;2404:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;2386:8;:15;2395:5;2386:15;;;;;;;;;;;;;;;:45;;;;2453:25;2471:6;2453:8;:13;2462:3;2453:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2437:8;:13;2446:3;2437:13;;;;;;;;;;;;;;;:41;;;;2513:38;2544:6;2513:7;:14;2521:5;2513:14;;;;;;;;;;;;;;;:26;2528:10;2513:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;2484:7;:14;2492:5;2484:14;;;;;;;;;;;;;;;:26;2499:10;2484:26;;;;;;;;;;;;;;;:67;;;;2573:3;2557:28;;2566:5;2557:28;;;2578:6;2557:28;;;;;;;;;;;;;;;;;;2598:4;2591:11;;2173:434;;;;;:::o;559:35::-;592:2;559:35;:::o;598:53::-;;;;:::o;926:35::-;957:4;926:35;:::o;1745:104::-;1798:15;1828:8;:16;1837:6;1828:16;;;;;;;;;;;;;;;;1821:23;;1745:104;;;:::o;986:20::-;;;;;;;;;;;;;:::o;468:37::-;;;;;;;;;;;;;;;;;;;;:::o;1853:316::-;1909:12;1953:1;1944:6;:10;:50;;;;;1988:6;1964:8;:20;1973:10;1964:20;;;;;;;;;;;;;;;;:30;;1944:50;1929:71;;;;;;;;2029:32;2054:6;2029:8;:20;2038:10;2029:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2006:8;:20;2015:10;2006:20;;;;;;;;;;;;;;;:55;;;;2083:25;2101:6;2083:8;:13;2092:3;2083:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2067:8;:13;2076:3;2067:13;;;;;;;;;;;;;;;:41;;;;2135:3;2114:33;;2123:10;2114:33;;;2140:6;2114:33;;;;;;;;;;;;;;;;;;2160:4;2153:11;;1853:316;;;;:::o;732:55::-;;;;:::o;2799:133::-;2870:17;2902:7;:15;2910:6;2902:15;;;;;;;;;;;;;;;:25;2918:8;2902:25;;;;;;;;;;;;;;;;2895:32;;2799:133;;;;:::o;828:62::-;864:26;828:62;:::o;203:173:2:-;261:7;316:9;285:1;280;:6;276:35;;;303:1;296:8;;;;276:35;332:1;328;:5;316:17;;355:1;350;346;:5;;;;;;;;:10;339:18;;;;;;370:1;363:8;;203:173;;;;;;:::o;1007:129::-;1065:7;1080:9;1096:1;1092;:5;1080:17;;1115:1;1110;:6;;1103:14;;;;;;1130:1;1123:8;;1007:129;;;;;:::o;835:110::-;893:7;920:1;915;:6;;908:14;;;;;;939:1;935;:5;928:12;;835:110;;;;:::o

bzzr://31c54362295b9a863b555062e369cd69d07fc2ac6e214565c0b65e9cc5eeff9e