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 Ownable
•    - function transferOwnership(address ne ...
•  contract Pausable is Ownable
•    - function pause()
•    - function unpause()
•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•    - function _blackList(address _address, ...
•  contract PausableToken is Standard ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•    - function blackListAddress(address lis ...
•  contract CoinToken is PausableToke ... *
•    - function burn(uint256 _value)
•    - function _burn(address _who, uint256 ...
•    - function mint(address account, uint25 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-06-05
*/

pragma solidity ^0.4.24;

library SafeMath {
  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;
  }

  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;
  }

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

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

contract Ownable {
  address public owner;


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

  /**
   * @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 {
    require(newOwner != address(0));
    emit OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}

contract Pausable is Ownable {
  event Pause();
  event Unpause();

  bool public paused = false;


  /**
   * @dev Modifier to make a function callable only when the contract is not paused.
   */
  modifier whenNotPaused() {
    require(!paused);
    _;
  }

  /**
   * @dev Modifier to make a function callable only when the contract is paused.
   */
  modifier whenPaused() {
    require(paused);
    _;
  }

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

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

contract ERC20Basic {
  uint256 public totalSupply;
  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);
}

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);
}


contract StandardToken is ERC20 {
  using SafeMath for uint256;

  mapping (address => mapping (address => uint256)) internal allowed;
	mapping(address => bool) tokenBlacklist;
	event Blacklist(address indexed blackListed, bool value);


  mapping(address => uint256) balances;


  function transfer(address _to, uint256 _value) public returns (bool) {
    require(tokenBlacklist[msg.sender] == false);
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

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


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

  function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
    require(tokenBlacklist[msg.sender] == false);
    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;
  }


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


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


  function increaseApproval(address _spender, uint _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;
  }

  function decreaseApproval(address _spender, uint _subtractedValue) public returns (bool) {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }
  


  function _blackList(address _address, bool _isBlackListed) internal returns (bool) {
	require(tokenBlacklist[_address] != _isBlackListed);
	tokenBlacklist[_address] = _isBlackListed;
	emit Blacklist(_address, _isBlackListed);
	return true;
  }



}

contract PausableToken is StandardToken, Pausable {

  function transfer(address _to, uint256 _value) public whenNotPaused returns (bool) {
    return super.transfer(_to, _value);
  }

  function transferFrom(address _from, address _to, uint256 _value) public whenNotPaused returns (bool) {
    return super.transferFrom(_from, _to, _value);
  }

  function approve(address _spender, uint256 _value) public whenNotPaused returns (bool) {
    return super.approve(_spender, _value);
  }

  function increaseApproval(address _spender, uint _addedValue) public whenNotPaused returns (bool success) {
    return super.increaseApproval(_spender, _addedValue);
  }

  function decreaseApproval(address _spender, uint _subtractedValue) public whenNotPaused returns (bool success) {
    return super.decreaseApproval(_spender, _subtractedValue);
  }
  
  function blackListAddress(address listAddress,  bool isBlackListed) public whenNotPaused onlyOwner  returns (bool success) {
	return super._blackList(listAddress, isBlackListed);
  }
  
}

contract CoinToken is PausableToken {
    string public name;
    string public symbol;
    uint public decimals;
    event Mint(address indexed from, address indexed to, uint256 value);
    event Burn(address indexed burner, uint256 value);

	
    constructor(string memory _name, string memory _symbol, uint256 _decimals, uint256 _supply, address tokenOwner,address service) public payable{
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        totalSupply = _supply * 10**_decimals;
        balances[tokenOwner] = totalSupply;
        owner = tokenOwner;
        service.transfer(msg.value);
        emit Transfer(address(0), tokenOwner, totalSupply);
    }
	
	function burn(uint256 _value) public {
		_burn(msg.sender, _value);
	}

	function _burn(address _who, uint256 _value) internal {
		require(_value <= balances[_who]);
		balances[_who] = balances[_who].sub(_value);
		totalSupply = totalSupply.sub(_value);
		emit Burn(_who, _value);
		emit Transfer(_who, address(0), _value);
	}

    function mint(address account, uint256 amount) onlyOwner public {

        totalSupply = totalSupply.add(amount);
        balances[account] = balances[account].add(amount);
        emit Mint(address(0), account, amount);
        emit Transfer(address(0), account, amount);
    }

    
}

• 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":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"},{"name":"amount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"listAddress","type":"address"},{"name":"isBlackListed","type":"bool"}],"name":"blackListAddress","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"success","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"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_decimals","type":"uint256"},{"name":"_supply","type":"uint256"},{"name":"tokenOwner","type":"address"},{"name":"service","type":"address"}],"payable":true,"stateMutability":"payable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"blackListed","type":"address"},{"indexed":false,"name":"value","type":"bool"}],"name":"Blacklist","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"}]

0x6080604052600436106101065763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde03811461010b578063095ea7b31461019557806318160ddd146101cd57806323b872dd146101f4578063313ce5671461021e5780633f4ba83a1461023357806340c10f191461024a57806342966c681461026e5780635c975abb14610286578063661884631461029b57806370a08231146102bf578063794be707146102e05780638456cb59146103065780638da5cb5b1461031b57806395d89b411461034c578063a9059cbb14610361578063d73dd62314610385578063dd62ed3e146103a9578063f2fde38b146103d0575b600080fd5b34801561011757600080fd5b506101206103f1565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015a578181015183820152602001610142565b50505050905090810190601f1680156101875780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101a157600080fd5b506101b9600160a060020a036004351660243561047f565b604080519115158252519081900360200190f35b3480156101d957600080fd5b506101e26104aa565b60408051918252519081900360200190f35b34801561020057600080fd5b506101b9600160a060020a03600435811690602435166044356104b0565b34801561022a57600080fd5b506101e26104dd565b34801561023f57600080fd5b506102486104e3565b005b34801561025657600080fd5b50610248600160a060020a036004351660243561055b565b34801561027a57600080fd5b50610248600435610637565b34801561029257600080fd5b506101b9610644565b3480156102a757600080fd5b506101b9600160a060020a0360043516602435610654565b3480156102cb57600080fd5b506101e2600160a060020a0360043516610678565b3480156102ec57600080fd5b506101b9600160a060020a03600435166024351515610693565b34801561031257600080fd5b506102486106ce565b34801561032757600080fd5b5061033061074b565b60408051600160a060020a039092168252519081900360200190f35b34801561035857600080fd5b5061012061075a565b34801561036d57600080fd5b506101b9600160a060020a03600435166024356107b5565b34801561039157600080fd5b506101b9600160a060020a03600435166024356107d9565b3480156103b557600080fd5b506101e2600160a060020a03600435811690602435166107fd565b3480156103dc57600080fd5b50610248600160a060020a0360043516610828565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104775780601f1061044c57610100808354040283529160200191610477565b820191906000526020600020905b81548152906001019060200180831161045a57829003601f168201915b505050505081565b60045460009060a060020a900460ff161561049957600080fd5b6104a383836108bd565b9392505050565b60005481565b60045460009060a060020a900460ff16156104ca57600080fd5b6104d5848484610923565b949350505050565b60075481565b600454600160a060020a031633146104fa57600080fd5b60045460a060020a900460ff16151561051257600080fd5b6004805474ff0000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b600454600160a060020a0316331461057257600080fd5b600054610585908263ffffffff610aa516565b6000908155600160a060020a0383168152600360205260409020546105b0908263ffffffff610aa516565b600160a060020a03831660008181526003602090815260408083209490945583518581529351929391927fab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f89281900390910190a3604080518281529051600160a060020a03841691600091600080516020610ebd8339815191529181900360200190a35050565b6106413382610ab4565b50565b60045460a060020a900460ff1681565b60045460009060a060020a900460ff161561066e57600080fd5b6104a38383610ba4565b600160a060020a031660009081526003602052604090205490565b60045460009060a060020a900460ff16156106ad57600080fd5b600454600160a060020a031633146106c457600080fd5b6104a38383610c94565b600454600160a060020a031633146106e557600080fd5b60045460a060020a900460ff16156106fc57600080fd5b6004805474ff0000000000000000000000000000000000000000191660a060020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b600454600160a060020a031681565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104775780601f1061044c57610100808354040283529160200191610477565b60045460009060a060020a900460ff16156107cf57600080fd5b6104a38383610d25565b60045460009060a060020a900460ff16156107f357600080fd5b6104a38383610e11565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b600454600160a060020a0316331461083f57600080fd5b600160a060020a038116151561085457600080fd5b600454604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b336000818152600160209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b3360009081526002602052604081205460ff161561094057600080fd5b600160a060020a038316151561095557600080fd5b600160a060020a03841660009081526003602052604090205482111561097a57600080fd5b600160a060020a03841660009081526001602090815260408083203384529091529020548211156109aa57600080fd5b600160a060020a0384166000908152600360205260409020546109d3908363ffffffff610eaa16565b600160a060020a038086166000908152600360205260408082209390935590851681522054610a08908363ffffffff610aa516565b600160a060020a038085166000908152600360209081526040808320949094559187168152600182528281203382529091522054610a4c908363ffffffff610eaa16565b600160a060020a0380861660008181526001602090815260408083203384528252918290209490945580518681529051928716939192600080516020610ebd833981519152929181900390910190a35060019392505050565b6000828201838110156104a357fe5b600160a060020a038216600090815260036020526040902054811115610ad957600080fd5b600160a060020a038216600090815260036020526040902054610b02908263ffffffff610eaa16565b600160a060020a03831660009081526003602052604081209190915554610b2f908263ffffffff610eaa16565b600055604080518281529051600160a060020a038416917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a2604080518281529051600091600160a060020a03851691600080516020610ebd8339815191529181900360200190a35050565b336000908152600160209081526040808320600160a060020a038616845290915281205480831115610bf957336000908152600160209081526040808320600160a060020a0388168452909152812055610c2e565b610c09818463ffffffff610eaa16565b336000908152600160209081526040808320600160a060020a03891684529091529020555b336000818152600160209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a03821660009081526002602052604081205460ff1615158215151415610cc057600080fd5b600160a060020a038316600081815260026020908152604091829020805460ff1916861515908117909155825190815291517ff7e58a63a036e3a7ef7921f83b6ae47930cf5c293dd3bfe7a857c6863409046d9281900390910190a250600192915050565b3360009081526002602052604081205460ff1615610d4257600080fd5b600160a060020a0383161515610d5757600080fd5b33600090815260036020526040902054821115610d7357600080fd5b33600090815260036020526040902054610d93908363ffffffff610eaa16565b3360009081526003602052604080822092909255600160a060020a03851681522054610dc5908363ffffffff610aa516565b600160a060020a038416600081815260036020908152604091829020939093558051858152905191923392600080516020610ebd8339815191529281900390910190a350600192915050565b336000908152600160209081526040808320600160a060020a0386168452909152812054610e45908363ffffffff610aa516565b336000818152600160209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600082821115610eb657fe5b509003905600ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a723058202f883c96b959ac17cef44a63c9d9ce3e02782c70f3e6148a70a81817bdbbfbc10029

6586:1354:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6629:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6629:18: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;6629:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5881:138;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5881:138:0;-1:-1:-1;;;;;5881:138:0;;;;;;;;;;;;;;;;;;;;;;;;;2239:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2239:26:0;;;;;;;;;;;;;;;;;;;;5715:160;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5715:160:0;-1:-1:-1;;;;;5715:160:0;;;;;;;;;;;;6681:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6681:20:0;;;;2112:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2112:95:0;;;;;;7645:284;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7645:284:0;-1:-1:-1;;;;;7645:284:0;;;;;;;7301:72;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7301:72:0;;;;;1491:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1491:26:0;;;;6202:181;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6202:181:0;-1:-1:-1;;;;;6202:181:0;;;;;;;3601:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3601:109:0;-1:-1:-1;;;;;3601:109:0;;;;;6391:184;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6391:184:0;-1:-1:-1;;;;;6391:184:0;;;;;;;;;1932:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1932:93:0;;;;793:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;793:20:0;;;;;;;;-1:-1:-1;;;;;793:20:0;;;;;;;;;;;;;;6654;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6654:20:0;;;;5579:130;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5579:130:0;-1:-1:-1;;;;;5579:130:0;;;;;;;6025:171;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6025:171:0;-1:-1:-1;;;;;6025:171:0;;;;;;;4429:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4429:128:0;-1:-1:-1;;;;;4429:128:0;;;;;;;;;;1230:178;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1230:178:0;-1:-1:-1;;;;;1230:178:0;;;;;6629:18;;;;;;;;;;;;;;;-1:-1:-1;;6629:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5881:138::-;1667:6;;5962:4;;-1:-1:-1;;;1667:6:0;;;;1666:7;1658:16;;;;;;5982:31;5996:8;6006:6;5982:13;:31::i;:::-;5975:38;5881:138;-1:-1:-1;;;5881:138:0:o;2239:26::-;;;;:::o;5715:160::-;1667:6;;5811:4;;-1:-1:-1;;;1667:6:0;;;;1666:7;1658:16;;;;;;5831:38;5850:5;5857:3;5862:6;5831:18;:38::i;:::-;5824:45;5715:160;-1:-1:-1;;;;5715:160:0:o;6681:20::-;;;;:::o;2112:95::-;1041:5;;-1:-1:-1;;;;;1041:5:0;1027:10;:19;1019:28;;;;;;1827:6;;-1:-1:-1;;;1827:6:0;;;;1819:15;;;;;;;;2166:6;:14;;-1:-1:-1;;2166:14:0;;;2192:9;;;;2175:5;;2192:9;2112:95::o;7645:284::-;1041:5;;-1:-1:-1;;;;;1041:5:0;1027:10;:19;1019:28;;;;;;7736:11;;:23;;7752:6;7736:23;:15;:23;:::i;:::-;7722:11;:37;;;-1:-1:-1;;;;;7790:17:0;;;;:8;:17;;;;;;:29;;7812:6;7790:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;7770:17:0;;;;;;:8;:17;;;;;;;;:49;;;;7835:33;;;;;;;7770:17;;;;7835:33;;;;;;;;;;7884:37;;;;;;;;-1:-1:-1;;;;;7884:37:0;;;7901:1;;-1:-1:-1;;;;;;;;;;;7884:37:0;;;;;;;;7645:284;;:::o;7301:72::-;7343:25;7349:10;7361:6;7343:5;:25::i;:::-;7301:72;:::o;1491:26::-;;;-1:-1:-1;;;1491:26:0;;;;;:::o;6202:181::-;1667:6;;6299:12;;-1:-1:-1;;;1667:6:0;;;;1666:7;1658:16;;;;;;6327:50;6350:8;6360:16;6327:22;:50::i;3601:109::-;-1:-1:-1;;;;;3688:16:0;3657:15;3688:16;;;:8;:16;;;;;;;3601:109::o;6391:184::-;1667:6;;6500:12;;-1:-1:-1;;;1667:6:0;;;;1666:7;1658:16;;;;;;1041:5;;-1:-1:-1;;;;;1041:5:0;1027:10;:19;1019:28;;;;;;6525:44;6542:11;6555:13;6525:16;:44::i;1932:93::-;1041:5;;-1:-1:-1;;;;;1041:5:0;1027:10;:19;1019:28;;;;;;1667:6;;-1:-1:-1;;;1667:6:0;;;;1666:7;1658:16;;;;;;1987:6;:13;;-1:-1:-1;;1987:13:0;-1:-1:-1;;;1987:13:0;;;2012:7;;;;1987:13;;2012:7;1932:93::o;793:20::-;;;-1:-1:-1;;;;;793:20:0;;:::o;6654:::-;;;;;;;;;;;;;;;-1:-1:-1;;6654:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5579:130;1667:6;;5656:4;;-1:-1:-1;;;1667:6:0;;;;1666:7;1658:16;;;;;;5676:27;5691:3;5696:6;5676:14;:27::i;6025:171::-;1667:6;;6117:12;;-1:-1:-1;;;1667:6:0;;;;1666:7;1658:16;;;;;;6145:45;6168:8;6178:11;6145:22;:45::i;4429:128::-;-1:-1:-1;;;;;4526:15:0;;;4503:7;4526:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;4429:128::o;1230:178::-;1041:5;;-1:-1:-1;;;;;1041:5:0;1027:10;:19;1019:28;;;;;;-1:-1:-1;;;;;1307:22:0;;;;1299:31;;;;;;1363:5;;1342:37;;-1:-1:-1;;;;;1342:37:0;;;;1363:5;;1342:37;;1363:5;;1342:37;1386:5;:16;;-1:-1:-1;;1386:16:0;-1:-1:-1;;;;;1386:16:0;;;;;;;;;;1230:178::o;4229:192::-;4317:10;4296:4;4309:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4309:29:0;;;;;;;;;;;:38;;;4359;;;;;;;4296:4;;4309:29;;4317:10;;4359:38;;;;;;;;-1:-1:-1;4411:4:0;4229:192;;;;:::o;3716:505::-;3834:10;3798:4;3819:26;;;:14;:26;;;;;;;;:35;3811:44;;;;;;-1:-1:-1;;;;;3870:17:0;;;;3862:26;;;;;;-1:-1:-1;;;;;3913:15:0;;;;;;:8;:15;;;;;;3903:25;;;3895:34;;;;;;-1:-1:-1;;;;;3954:14:0;;;;;;:7;:14;;;;;;;;3969:10;3954:26;;;;;;;;3944:36;;;3936:45;;;;;;-1:-1:-1;;;;;4008:15:0;;;;;;:8;:15;;;;;;:27;;4028:6;4008:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;3990:15:0;;;;;;;:8;:15;;;;;;:45;;;;4058:13;;;;;;;:25;;4076:6;4058:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4042:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;4119:14;;;;;:7;:14;;;;;4134:10;4119:26;;;;;;;:38;;4150:6;4119:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4090:14:0;;;;;;;:7;:14;;;;;;;;4105:10;4090:26;;;;;;;;:67;;;;4169:28;;;;;;;;;;;4090:14;;-1:-1:-1;;;;;;;;;;;4169:28:0;;;;;;;;;;-1:-1:-1;4211:4:0;3716:505;;;;;:::o;631:133::-;689:7;717:5;;;736:6;;;;729:14;;;7378:259;-1:-1:-1;;;;;7455:14:0;;;;;;:8;:14;;;;;;7445:24;;;7437:33;;;;;;-1:-1:-1;;;;;7492:14:0;;;;;;:8;:14;;;;;;:26;;7511:6;7492:26;:18;:26;:::i;:::-;-1:-1:-1;;;;;7475:14:0;;;;;;:8;:14;;;;;:43;;;;7537:11;:23;;7553:6;7537:23;:15;:23;:::i;:::-;7523:11;:37;7570:18;;;;;;;;-1:-1:-1;;;;;7570:18:0;;;;;;;;;;;;;7598:34;;;;;;;;7621:1;;-1:-1:-1;;;;;7598:34:0;;;-1:-1:-1;;;;;;;;;;;7598:34:0;;;;;;;;7378:259;;:::o;4837:412::-;4957:10;4920:4;4949:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4949:29:0;;;;;;;;;;4989:27;;;4985:168;;;5035:10;5059:1;5027:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5027:29:0;;;;;;;;;:33;4985:168;;;5115:30;:8;5128:16;5115:30;:12;:30;:::i;:::-;5091:10;5083:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5083:29:0;;;;;;;;;:62;4985:168;5173:10;5195:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5164:61:0;;5195:29;;;;;;;;;;;5164:61;;;;;;;;;5173:10;5164:61;;;;;;;;;;;-1:-1:-1;5239:4:0;;4837:412;-1:-1:-1;;;4837:412:0:o;5261:248::-;-1:-1:-1;;;;;5356:24:0;;5338:4;5356:24;;;:14;:24;;;;;;;;:42;;;;;;;5348:51;;;;;;-1:-1:-1;;;;;5403:24:0;;;;;;:14;:24;;;;;;;;;:41;;-1:-1:-1;;5403:41:0;;;;;;;;;;5453:35;;;;;;;;;;;;;;;;;-1:-1:-1;5499:4:0;5261:248;;;;:::o;3149:444::-;3248:10;3212:4;3233:26;;;:14;:26;;;;;;;;:35;3225:44;;;;;;-1:-1:-1;;;;;3284:17:0;;;;3276:26;;;;;;3336:10;3327:20;;;;:8;:20;;;;;;3317:30;;;3309:39;;;;;;3453:10;3444:20;;;;:8;:20;;;;;;:32;;3469:6;3444:32;:24;:32;:::i;:::-;3430:10;3421:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;3499:13:0;;;;;;:25;;3517:6;3499:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;3483:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;3536:33;;;;;;;3483:13;;3545:10;;-1:-1:-1;;;;;;;;;;;3536:33:0;;;;;;;;;-1:-1:-1;3583:4:0;3149:444;;;;:::o;4565:266::-;4696:10;4643:4;4688:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4688:29:0;;;;;;;;;;:46;;4722:11;4688:46;:33;:46;:::i;:::-;4664:10;4656:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4656:29:0;;;;;;;;;;;;:78;;;4746:61;;;;;;4656:29;;4746:61;;;;;;;;;;;-1:-1:-1;4821:4:0;4565:266;;;;:::o;512:113::-;570:7;593:6;;;;586:14;;;;-1:-1:-1;614:5:0;;;512:113::o

bzzr://2f883c96b959ac17cef44a63c9d9ce3e02782c70f3e6148a70a81817bdbbfbc1