Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint a, uint b)
•    - function div(uint a, uint b)
•    - function sub(uint a, uint b)
•    - function add(uint a, uint b)
•    - function max64(uint64 a, uint64 b)
•    - function min64(uint64 a, uint64 b)
•    - function max256(uint256 a, uint256 b)
•    - function min256(uint256 a, uint256 b)
•    - function assert(bool assertion)
•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint va ...
•  contract BasicToken is ERC20Basic
•    - function transfer(address _to, uint _ ...
•    - 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 BasicTok ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract Ownable
•    - function Ownable()
•    - function transferOwnership(address ne ...
•  contract Pausable is Ownable
•    - function pause()
•    - function unpause()
•  contract PausableToken is Standard ...
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•  contract FCTToken is PausableToken *
•    - function FCTToken()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
 *Submitted for verification at Etherscan.io on 2018-09-24
*/

pragma solidity ^0.4.11;


/**
 * Math operations with safety checks
 */
library SafeMath {
  function mul(uint a, uint b) internal returns (uint) {
    uint c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function div(uint a, uint b) internal returns (uint) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint a, uint b) internal returns (uint) {
    assert(b <= a);
    return a - b;
  }

  function add(uint a, uint b) internal returns (uint) {
    uint c = a + b;
    assert(c >= a);
    return c;
  }

  function max64(uint64 a, uint64 b) internal constant returns (uint64) {
    return a >= b ? a : b;
  }

  function min64(uint64 a, uint64 b) internal constant returns (uint64) {
    return a < b ? a : b;
  }

  function max256(uint256 a, uint256 b) internal constant returns (uint256) {
    return a >= b ? a : b;
  }

  function min256(uint256 a, uint256 b) internal constant returns (uint256) {
    return a < b ? a : b;
  }

  function assert(bool assertion) internal {
    if (!assertion) {
      throw;
    }
  }
}


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


/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint;

  mapping(address => uint) balances;

  /**
   * @dev Fix for the ERC20 short address attack.
   */
  modifier onlyPayloadSize(uint size) {
     if(msg.data.length < size + 4) {
       throw;
     }
     _;
  }

  /**
  * @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, uint _value) onlyPayloadSize(2 * 32) {
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    Transfer(msg.sender, _to, _value);
  }

  /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint representing the amount owned by the passed address.
  */
  function balanceOf(address _owner) constant returns (uint balance) {
    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) constant returns (uint);
  function transferFrom(address from, address to, uint value);
  function approve(address spender, uint value);
  event Approval(address indexed owner, address indexed spender, uint value);
}


/**
 * @title Standard ERC20 token
 *
 * @dev Implemantation of the basic standart 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 BasicToken, ERC20 {

  mapping (address => mapping (address => uint)) 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 uint the amout of tokens to be transfered
   */
  function transferFrom(address _from, address _to, uint _value) onlyPayloadSize(3 * 32) {
    var _allowance = allowed[_from][msg.sender];

    // Check is not needed because sub(_allowance, _value) will already throw if this condition is not met
    // if (_value > _allowance) throw;

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

  /**
   * @dev Aprove the passed address to spend the specified amount of tokens on beahlf of msg.sender.
   * @param _spender The address which will spend the funds.
   * @param _value The amount of tokens to be spent.
   */
  function approve(address _spender, uint _value) {

    // To change the approve amount you first have to reduce the addresses`
    //  allowance to zero by calling `approve(_spender, 0)` if it is not
    //  already 0 to mitigate the race condition described here:
    //  https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
    if ((_value != 0) && (allowed[msg.sender][_spender] != 0)) throw;

    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
  }

  /**
   * @dev Function to check the amount of tokens than 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 uint specifing the amount of tokens still avaible for the spender.
   */
  function allowance(address _owner, address _spender) constant returns (uint remaining) {
    return allowed[_owner][_spender];
  }

}


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


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


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


  /**
   * @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) onlyOwner {
    if (newOwner != address(0)) {
      owner = newOwner;
    }
  }

}
/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
  event Pause();
  event Unpause();

  bool public paused = false;


  /**
   * @dev modifier to allow actions only when the contract IS paused
   */
  modifier whenNotPaused() {
    if (paused) throw;
    _;
  }

  /**
   * @dev modifier to allow actions only when the contract IS NOT paused
   */
  modifier whenPaused {
    if (!paused) throw;
    _;
  }

  /**
   * @dev called by the owner to pause, triggers stopped state
   */
  function pause() onlyOwner whenNotPaused returns (bool) {
    paused = true;
    Pause();
    return true;
  }

  /**
   * @dev called by the owner to unpause, returns to normal state
   */
  function unpause() onlyOwner whenPaused returns (bool) {
    paused = false;
    Unpause();
    return true;
  }
}


/**
 * Pausable token
 *
 * Simple ERC20 Token example, with pausable token creation
 **/

contract PausableToken is StandardToken, Pausable {

  function transfer(address _to, uint _value) whenNotPaused {
    super.transfer(_to, _value);
  }

  function transferFrom(address _from, address _to, uint _value) whenNotPaused {
    super.transferFrom(_from, _to, _value);
  }
}


contract FCTToken is PausableToken {
  using SafeMath for uint256;  
  string public name = "FCT";
  string public symbol = "FCT";
  uint public decimals = 18;
  function FCTToken(){
	totalSupply = 1400000000 * 10 ** uint256(decimals);  // Update total supply with the decimal amount
    balances[msg.sender] = totalSupply;                // Give the creator all initial tokens
	Transfer(address(0x0), msg.sender, totalSupply);
  }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"type":"function"},{"inputs":[],"payable":false,"type":"constructor"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","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"}]

6003805460a060020a60ff021916815560a060405260608190527f4643540000000000000000000000000000000000000000000000000000000000608090815261004c9160049190610123565b506040805180820190915260038082527f4643540000000000000000000000000000000000000000000000000000000000602090920191825261009191600591610123565b506012600655341561009f57fe5b5b5b60038054600160a060020a03191633600160a060020a03161790555b600654600a0a6353724e0002600081815533600160a060020a031680825260016020908152604080842085905580519485525191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35b6101c3565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061016457805160ff1916838001178555610191565b82800160010185558215610191579182015b82811115610191578251825591602001919060010190610176565b5b5061019e9291506101a2565b5090565b6101c091905b8082111561019e57600081556001016101a8565b5090565b90565b610a0b806101d26000396000f300606060405236156100cd5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100cf578063095ea7b31461015f57806318160ddd1461018057806323b872dd146101a2578063313ce567146101c95780633f4ba83a146101eb5780635c975abb1461020f57806370a08231146102335780638456cb59146102615780638da5cb5b1461028557806395d89b41146102b1578063a9059cbb14610341578063dd62ed3e14610362578063f2fde38b14610396575bfe5b34156100d757fe5b6100df6103b4565b604080516020808252835181830152835191928392908301918501908083838215610125575b80518252602083111561012557601f199092019160209182019101610105565b505050905090810190601f1680156101515780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016757fe5b61017e600160a060020a0360043516602435610442565b005b341561018857fe5b6101906104e2565b60408051918252519081900360200190f35b34156101aa57fe5b61017e600160a060020a03600435811690602435166044356104e8565b005b34156101d157fe5b610190610512565b60408051918252519081900360200190f35b34156101f357fe5b6101fb610518565b604080519115158252519081900360200190f35b341561021757fe5b6101fb6105a0565b604080519115158252519081900360200190f35b341561023b57fe5b610190600160a060020a03600435166105b0565b60408051918252519081900360200190f35b341561026957fe5b6101fb6105cf565b604080519115158252519081900360200190f35b341561028d57fe5b61029561065c565b60408051600160a060020a039092168252519081900360200190f35b34156102b957fe5b6100df61066b565b604080516020808252835181830152835191928392908301918501908083838215610125575b80518252602083111561012557601f199092019160209182019101610105565b505050905090810190601f1680156101515780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561034957fe5b61017e600160a060020a03600435166024356106f9565b005b341561036a57fe5b610190600160a060020a0360043581169060243516610721565b60408051918252519081900360200190f35b341561039e57fe5b61017e600160a060020a036004351661074e565b005b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561043a5780601f1061040f5761010080835404028352916020019161043a565b820191906000526020600020905b81548152906001019060200180831161041d57829003601f168201915b505050505081565b80158015906104755750600160a060020a0333811660009081526002602090815260408083209386168352929052205415155b156104805760006000fd5b600160a060020a03338116600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35b5050565b60005481565b60035460a060020a900460ff16156105005760006000fd5b61050b8383836107a7565b5b5b505050565b60065481565b60035460009033600160a060020a039081169116146105375760006000fd5b60035460a060020a900460ff1615156105505760006000fd5b6003805474ff0000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a15060015b5b5b90565b60035460a060020a900460ff1681565b600160a060020a0381166000908152600160205260409020545b919050565b60035460009033600160a060020a039081169116146105ee5760006000fd5b60035460a060020a900460ff16156106065760006000fd5b6003805474ff0000000000000000000000000000000000000000191660a060020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a15060015b5b5b90565b600354600160a060020a031681565b6005805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561043a5780601f1061040f5761010080835404028352916020019161043a565b820191906000526020600020905b81548152906001019060200180831161041d57829003601f168201915b505050505081565b60035460a060020a900460ff16156107115760006000fd5b6104de82826108cb565b5b5b5050565b600160a060020a038083166000908152600260209081526040808320938516835292905220545b92915050565b60035433600160a060020a0390811691161461076a5760006000fd5b600160a060020a038116156107a2576003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b5b50565b6000606060643610156107ba5760006000fd5b600160a060020a038086166000908152600260209081526040808320338516845282528083205493881683526001909152902054909250610801908463ffffffff61099916565b600160a060020a038086166000908152600160205260408082209390935590871681522054610836908463ffffffff6109b516565b600160a060020a03861660009081526001602052604090205561085f828463ffffffff6109b516565b600160a060020a038087166000818152600260209081526040808320338616845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35b5b5050505050565b604060443610156108dc5760006000fd5b600160a060020a033316600090815260016020526040902054610905908363ffffffff6109b516565b600160a060020a03338116600090815260016020526040808220939093559085168152205461093a908363ffffffff61099916565b600160a060020a038085166000818152600160209081526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35b5b505050565b60008282016109aa848210156109ce565b8091505b5092915050565b60006109c3838311156109ce565b508082035b92915050565b8015156107a25760006000fd5b5b505600a165627a7a723058208122043f2553f30b8d3a0338e8577ee0a998ebbea7ecd86d6215252f0554bcb00029

0x606060405236156100cd5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100cf578063095ea7b31461015f57806318160ddd1461018057806323b872dd146101a2578063313ce567146101c95780633f4ba83a146101eb5780635c975abb1461020f57806370a08231146102335780638456cb59146102615780638da5cb5b1461028557806395d89b41146102b1578063a9059cbb14610341578063dd62ed3e14610362578063f2fde38b14610396575bfe5b34156100d757fe5b6100df6103b4565b604080516020808252835181830152835191928392908301918501908083838215610125575b80518252602083111561012557601f199092019160209182019101610105565b505050905090810190601f1680156101515780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016757fe5b61017e600160a060020a0360043516602435610442565b005b341561018857fe5b6101906104e2565b60408051918252519081900360200190f35b34156101aa57fe5b61017e600160a060020a03600435811690602435166044356104e8565b005b34156101d157fe5b610190610512565b60408051918252519081900360200190f35b34156101f357fe5b6101fb610518565b604080519115158252519081900360200190f35b341561021757fe5b6101fb6105a0565b604080519115158252519081900360200190f35b341561023b57fe5b610190600160a060020a03600435166105b0565b60408051918252519081900360200190f35b341561026957fe5b6101fb6105cf565b604080519115158252519081900360200190f35b341561028d57fe5b61029561065c565b60408051600160a060020a039092168252519081900360200190f35b34156102b957fe5b6100df61066b565b604080516020808252835181830152835191928392908301918501908083838215610125575b80518252602083111561012557601f199092019160209182019101610105565b505050905090810190601f1680156101515780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561034957fe5b61017e600160a060020a03600435166024356106f9565b005b341561036a57fe5b610190600160a060020a0360043581169060243516610721565b60408051918252519081900360200190f35b341561039e57fe5b61017e600160a060020a036004351661074e565b005b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561043a5780601f1061040f5761010080835404028352916020019161043a565b820191906000526020600020905b81548152906001019060200180831161041d57829003601f168201915b505050505081565b80158015906104755750600160a060020a0333811660009081526002602090815260408083209386168352929052205415155b156104805760006000fd5b600160a060020a03338116600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35b5050565b60005481565b60035460a060020a900460ff16156105005760006000fd5b61050b8383836107a7565b5b5b505050565b60065481565b60035460009033600160a060020a039081169116146105375760006000fd5b60035460a060020a900460ff1615156105505760006000fd5b6003805474ff0000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a15060015b5b5b90565b60035460a060020a900460ff1681565b600160a060020a0381166000908152600160205260409020545b919050565b60035460009033600160a060020a039081169116146105ee5760006000fd5b60035460a060020a900460ff16156106065760006000fd5b6003805474ff0000000000000000000000000000000000000000191660a060020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a15060015b5b5b90565b600354600160a060020a031681565b6005805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561043a5780601f1061040f5761010080835404028352916020019161043a565b820191906000526020600020905b81548152906001019060200180831161041d57829003601f168201915b505050505081565b60035460a060020a900460ff16156107115760006000fd5b6104de82826108cb565b5b5b5050565b600160a060020a038083166000908152600260209081526040808320938516835292905220545b92915050565b60035433600160a060020a0390811691161461076a5760006000fd5b600160a060020a038116156107a2576003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b5b50565b6000606060643610156107ba5760006000fd5b600160a060020a038086166000908152600260209081526040808320338516845282528083205493881683526001909152902054909250610801908463ffffffff61099916565b600160a060020a038086166000908152600160205260408082209390935590871681522054610836908463ffffffff6109b516565b600160a060020a03861660009081526001602052604090205561085f828463ffffffff6109b516565b600160a060020a038087166000818152600260209081526040808320338616845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35b5b5050505050565b604060443610156108dc5760006000fd5b600160a060020a033316600090815260016020526040902054610905908363ffffffff6109b516565b600160a060020a03338116600090815260016020526040808220939093559085168152205461093a908363ffffffff61099916565b600160a060020a038085166000818152600160209081526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35b5b505050565b60008282016109aa848210156109ce565b8091505b5092915050565b60006109c3838311156109ce565b508082035b92915050565b8015156107a25760006000fd5b5b505600a165627a7a723058208122043f2553f30b8d3a0338e8577ee0a998ebbea7ecd86d6215252f0554bcb00029

7786:445:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7859:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4585:511:0;;;;;;;;-1:-1:-1;;;;;4585:511:0;;;;;;;;;1497:23;;;;;;;;;;;;;;;;;;;;;;;;;;7649:128;;;;;;;;-1:-1:-1;;;;;7649:128:0;;;;;;;;;;;;;;7923:25;;;;;;;;;;;;;;;;;;;;;;;;;;7266:116;;;;;;;;;;;;;;;;;;;;;;;;;;;;6646:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;2681:103;;;;;;;;-1:-1:-1;;;;;2681:103:0;;;;;;;;;;;;;;;;;;;;;7065:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;5777:20;;;;;;;;;;;;;;-1:-1:-1;;;;;5777:20:0;;;;;;;;;;;;;;7890:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7545:98:0;;;;;;;;-1:-1:-1;;;;;7545:98:0;;;;;;;;;5417:132;;;;;;;;-1:-1:-1;;;;;5417:132:0;;;;;;;;;;;;;;;;;;;;;;;;;;6320:128;;;;;;;;-1:-1:-1;;;;;6320:128:0;;;;;;;7859:26;;;;;;;;;;;;;;;-1:-1:-1;;7859:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4585:511::-;4939:11;;;;;4938:53;;-1:-1:-1;;;;;;4964:10:0;4956:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;:34;;4938:53;4934:64;;;4993:5;;;4934:64;-1:-1:-1;;;;;5015:10:0;5007:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:38;;;5052;;;;;;;;;;;;;;;;;4585:511;;;:::o;1497:23::-;;;;:::o;7649:128::-;6801:6;;-1:-1:-1;;;6801:6:0;;;;6797:17;;;6809:5;;;6797:17;7733:38;7752:5;7759:3;7764:6;7733:18;:38::i;:::-;6821:1;7649:128;;;;:::o;7923:25::-;;;;:::o;7266:116::-;6109:5;;7315:4;;6095:10;-1:-1:-1;;;;;6095:19:0;;;6109:5;;6095:19;6091:47;;6125:5;;;6091:47;6954:6;;-1:-1:-1;;;6954:6:0;;;;6953:7;6949:18;;;6962:5;;;6949:18;7328:6;:14;;-1:-1:-1;;7328:14:0;;;7349:9;;;;7337:5;;7349:9;-1:-1:-1;7372:4:0;6974:1;6144;7266:116;;:::o;6646:26::-;;;-1:-1:-1;;;6646:26:0;;;;;:::o;2681:103::-;-1:-1:-1;;;;;2762:16:0;;2734:12;2762:16;;;:8;:16;;;;;;2681:103;;;;:::o;7065:114::-;6109:5;;7115:4;;6095:10;-1:-1:-1;;;;;6095:19:0;;;6109:5;;6095:19;6091:47;;6125:5;;;6091:47;6801:6;;-1:-1:-1;;;6801:6:0;;;;6797:17;;;6809:5;;;6797:17;7128:6;:13;;-1:-1:-1;;7128:13:0;-1:-1:-1;;;7128:13:0;;;7148:7;;;;7128:13;;7148:7;-1:-1:-1;7169:4:0;6821:1;6144;7065:114;;:::o;5777:20::-;;;-1:-1:-1;;;;;5777:20:0;;:::o;7890:28::-;;;;;;;;;;;;;;;-1:-1:-1;;7890:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7545:98::-;6801:6;;-1:-1:-1;;;6801:6:0;;;;6797:17;;;6809:5;;;6797:17;7610:27;7625:3;7630:6;7610:14;:27::i;:::-;6821:1;7545:98;;;:::o;5417:132::-;-1:-1:-1;;;;;5518:15:0;;;5488:14;5518:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;5417:132;;;;;:::o;6320:128::-;6109:5;;6095:10;-1:-1:-1;;;;;6095:19:0;;;6109:5;;6095:19;6091:47;;6125:5;;;6091:47;-1:-1:-1;;;;;6386:22:0;;;6382:61;;6419:5;:16;;-1:-1:-1;;6419:16:0;-1:-1:-1;;;;;6419:16:0;;;;;6382:61;6144:1;6320:128;;:::o;3859:488::-;3953:14;3938:6;2042:8;2024;:26;2021:55;;;2062:5;;;2021:55;-1:-1:-1;;;;;3970:14:0;;;;;;;:7;:14;;;;;;;;3985:10;3970:26;;;;;;;;;;4171:13;;;;;:8;:13;;;;;;3970:26;;-1:-1:-1;4171:25:0;;4189:6;4171:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4155:13:0;;;;;;;:8;:13;;;;;;:41;;;;4221:15;;;;;;;:27;;4241:6;4221:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;4203:15:0;;;;;;:8;:15;;;;;:45;4284:22;:10;4299:6;4284:22;:14;:22;:::i;:::-;-1:-1:-1;;;;;4255:14:0;;;;;;;:7;:14;;;;;;;;4270:10;4255:26;;;;;;;;;;:51;;;;4313:28;;;;;;;;;;;4255:14;;4313:28;;;;;;;;;;;2083:1;3859:488;;;;;;:::o;2251:224::-;2311:6;2042:8;2024;:26;2021:55;;;2062:5;;;2021:55;-1:-1:-1;;;;;2358:10:0;2349:20;;;;;:8;:20;;;;;;:32;;2374:6;2349:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;2335:10:0;2326:20;;;;;;:8;:20;;;;;;:55;;;;2404:13;;;;;;;:25;;2422:6;2404:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2388:13:0;;;;;;;:8;:13;;;;;;;;;:41;;;;2436:33;;;;;;;2388:13;;2445:10;2436:33;;;;;;;;;;;;;2083:1;2251:224;;;;:::o;672:116::-;719:4;741:5;;;753:14;760:6;;;;753;:14::i;:::-;781:1;774:8;;672:116;;;;;;:::o;567:99::-;614:4;627:14;639:1;634;:6;;627;:14::i;:::-;-1:-1:-1;655:5:0;;;567:99;;;;;:::o;1240:91::-;1293:9;1292:10;1288:38;;;1313:5;;;1288:38;1240:91;;:::o

bzzr://8122043f2553f30b8d3a0338e8577ee0a998ebbea7ecd86d6215252f0554bcb0