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 Ownable()
•    - function transferOwnership(address ne ...
•  contract ERC20Basic
•    - function totalSupply()
•    - 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 TokenERC20 is ERC20, Owna ... *
•    - function TokenERC20(
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function burn(uint256 _amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-11-30
*/

pragma solidity ^0.4.19;


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

contract Ownable {
  address public owner;


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


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

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

  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param newOwner The address to transfer ownership to.
   */
  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}

contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

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 TokenERC20 is ERC20, Ownable {
    using SafeMath for uint;

    string public name;
    string public symbol;
    uint8 public decimals;
    uint256 public totalSupply_;
    mapping(address => uint256) public balances;
    mapping(address => mapping(address => uint256)) internal allowed;

    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Burn(address indexed holder, uint256 tokens);

    function TokenERC20(
        string _name,
        string _symbol,
        uint8 _decimals,
        address _supplyReceiver,
        uint256 _initialSupply
    ) public {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        totalSupply_ = _initialSupply;

        balances[_supplyReceiver] = totalSupply_;

        Transfer(0, _supplyReceiver, totalSupply_);
    }

    function totalSupply() public view returns (uint256) {
        return totalSupply_;
    }

    function transfer(address _to, uint256 _value) public returns (bool) {
        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);
        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(_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);
        Transfer(_from, _to, _value);
        return true;
    }

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

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

    function burn(uint256 _amount) public returns (bool) {
        require(balances[msg.sender] >= _amount);

        balances[msg.sender] = balances[msg.sender].sub(_amount);
        totalSupply_ = totalSupply_.sub(_amount);

        Burn(msg.sender, _amount);
        Transfer(msg.sender, address(0), _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":"","type":"address"}],"name":"balances","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"burn","outputs":[{"name":"","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":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":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":"uint8"},{"name":"_supplyReceiver","type":"address"},{"name":"_initialSupply","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Burn","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":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

608060405234801561001057600080fd5b50604051610ab2380380610ab28339810160409081528151602080840151928401516060850151608086015160008054600160a060020a0319163317905593860180519096959095019491939092909161007091600191908801906100f3565b5083516100849060029060208701906100f3565b506003805460ff191660ff85161790556004819055600160a060020a0382166000818152600560209081526040808320859055805185815290517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3505050505061018e565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061013457805160ff1916838001178555610161565b82800160010185558215610161579182015b82811115610161578251825591602001919060010190610146565b5061016d929150610171565b5090565b61018b91905b8082111561016d5760008155600101610177565b90565b6109158061019d6000396000f3006080604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019657806323b872dd146101bd57806327e235e3146101e7578063313ce56714610208578063324536eb1461023357806342966c681461024857806370a08231146102605780638da5cb5b1461028157806395d89b41146102b2578063a9059cbb146102c7578063dd62ed3e146102eb578063f2fde38b14610312575b600080fd5b3480156100e057600080fd5b506100e9610335565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012357818101518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561016a57600080fd5b50610182600160a060020a03600435166024356103c2565b604080519115158252519081900360200190f35b3480156101a257600080fd5b506101ab610428565b60408051918252519081900360200190f35b3480156101c957600080fd5b50610182600160a060020a036004358116906024351660443561042e565b3480156101f357600080fd5b506101ab600160a060020a03600435166105a7565b34801561021457600080fd5b5061021d6105b9565b6040805160ff9092168252519081900360200190f35b34801561023f57600080fd5b506101ab6105c2565b34801561025457600080fd5b506101826004356105c8565b34801561026c57600080fd5b506101ab600160a060020a036004351661069d565b34801561028d57600080fd5b506102966106b8565b60408051600160a060020a039092168252519081900360200190f35b3480156102be57600080fd5b506100e96106c7565b3480156102d357600080fd5b50610182600160a060020a036004351660243561071f565b3480156102f757600080fd5b506101ab600160a060020a0360043581169060243516610802565b34801561031e57600080fd5b50610333600160a060020a036004351661082d565b005b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103ba5780601f1061038f576101008083540402835291602001916103ba565b820191906000526020600020905b81548152906001019060200180831161039d57829003601f168201915b505050505081565b336000818152600660209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60045490565b6000600160a060020a038316151561044557600080fd5b600160a060020a03841660009081526005602052604090205482111561046a57600080fd5b600160a060020a038416600090815260066020908152604080832033845290915290205482111561049a57600080fd5b600160a060020a0384166000908152600560205260409020546104c3908363ffffffff6108c116565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104f8908363ffffffff6108d316565b600160a060020a03808516600090815260056020908152604080832094909455918716815260068252828120338252909152205461053c908363ffffffff6108c116565b600160a060020a03808616600081815260066020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60056020526000908152604090205481565b60035460ff1681565b60045481565b336000908152600560205260408120548211156105e457600080fd5b33600090815260056020526040902054610604908363ffffffff6108c116565b33600090815260056020526040902055600454610627908363ffffffff6108c116565b60045560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a260408051838152905160009133917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3919050565b600160a060020a031660009081526005602052604090205490565b600054600160a060020a031681565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156103ba5780601f1061038f576101008083540402835291602001916103ba565b6000600160a060020a038316151561073657600080fd5b3360009081526005602052604090205482111561075257600080fd5b33600090815260056020526040902054610772908363ffffffff6108c116565b3360009081526005602052604080822092909255600160a060020a038516815220546107a4908363ffffffff6108d316565b600160a060020a0384166000818152600560209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260066020908152604080832093909416825291909152205490565b600054600160a060020a0316331461084457600080fd5b600160a060020a038116151561085957600080fd5b60008054604051600160a060020a03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000828211156108cd57fe5b50900390565b6000828201838110156108e257fe5b93925050505600a165627a7a7230582042442e08559c2838c16bf68408ff88ed0f6a1baa44e8aa74cd3f0e46bf0e34ea002900000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000000120000000000000000000000006360153f36fc75a2be21eb2296da4ebd288d39e70000000000000000000000000000000000000000000771d2fa45345aa9000000000000000000000000000000000000000000000000000000000000000000000c45636f2046696e616e636573000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034546430000000000000000000000000000000000000000000000000000000000

0x6080604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019657806323b872dd146101bd57806327e235e3146101e7578063313ce56714610208578063324536eb1461023357806342966c681461024857806370a08231146102605780638da5cb5b1461028157806395d89b41146102b2578063a9059cbb146102c7578063dd62ed3e146102eb578063f2fde38b14610312575b600080fd5b3480156100e057600080fd5b506100e9610335565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012357818101518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561016a57600080fd5b50610182600160a060020a03600435166024356103c2565b604080519115158252519081900360200190f35b3480156101a257600080fd5b506101ab610428565b60408051918252519081900360200190f35b3480156101c957600080fd5b50610182600160a060020a036004358116906024351660443561042e565b3480156101f357600080fd5b506101ab600160a060020a03600435166105a7565b34801561021457600080fd5b5061021d6105b9565b6040805160ff9092168252519081900360200190f35b34801561023f57600080fd5b506101ab6105c2565b34801561025457600080fd5b506101826004356105c8565b34801561026c57600080fd5b506101ab600160a060020a036004351661069d565b34801561028d57600080fd5b506102966106b8565b60408051600160a060020a039092168252519081900360200190f35b3480156102be57600080fd5b506100e96106c7565b3480156102d357600080fd5b50610182600160a060020a036004351660243561071f565b3480156102f757600080fd5b506101ab600160a060020a0360043581169060243516610802565b34801561031e57600080fd5b50610333600160a060020a036004351661082d565b005b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103ba5780601f1061038f576101008083540402835291602001916103ba565b820191906000526020600020905b81548152906001019060200180831161039d57829003601f168201915b505050505081565b336000818152600660209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60045490565b6000600160a060020a038316151561044557600080fd5b600160a060020a03841660009081526005602052604090205482111561046a57600080fd5b600160a060020a038416600090815260066020908152604080832033845290915290205482111561049a57600080fd5b600160a060020a0384166000908152600560205260409020546104c3908363ffffffff6108c116565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104f8908363ffffffff6108d316565b600160a060020a03808516600090815260056020908152604080832094909455918716815260068252828120338252909152205461053c908363ffffffff6108c116565b600160a060020a03808616600081815260066020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60056020526000908152604090205481565b60035460ff1681565b60045481565b336000908152600560205260408120548211156105e457600080fd5b33600090815260056020526040902054610604908363ffffffff6108c116565b33600090815260056020526040902055600454610627908363ffffffff6108c116565b60045560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a260408051838152905160009133917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3919050565b600160a060020a031660009081526005602052604090205490565b600054600160a060020a031681565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156103ba5780601f1061038f576101008083540402835291602001916103ba565b6000600160a060020a038316151561073657600080fd5b3360009081526005602052604090205482111561075257600080fd5b33600090815260056020526040902054610772908363ffffffff6108c116565b3360009081526005602052604080822092909255600160a060020a038516815220546107a4908363ffffffff6108d316565b600160a060020a0384166000818152600560209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260066020908152604080832093909416825291909152205490565b600054600160a060020a0316331461084457600080fd5b600160a060020a038116151561085957600080fd5b60008054604051600160a060020a03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000828211156108cd57fe5b50900390565b6000828201838110156108e257fe5b93925050505600a165627a7a7230582042442e08559c2838c16bf68408ff88ed0f6a1baa44e8aa74cd3f0e46bf0e34ea0029

00000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000000120000000000000000000000006360153f36fc75a2be21eb2296da4ebd288d39e70000000000000000000000000000000000000000000771d2fa45345aa9000000000000000000000000000000000000000000000000000000000000000000000c45636f2046696e616e636573000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034546430000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): Eco Finances
Arg [1] : _symbol (string): EFC
Arg [2] : _decimals (uint8): 18
Arg [3] : _supplyReceiver (address): 0x6360153f36Fc75a2be21eb2296Da4Ebd288d39E7
Arg [4] : _initialSupply (uint256): 9000000000000000000000000

-----Encoded View---------------
9 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000e0
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [3] : 0000000000000000000000006360153f36fc75a2be21eb2296da4ebd288d39e7
Arg [4] : 0000000000000000000000000000000000000000000771d2fa45345aa9000000
Arg [5] : 000000000000000000000000000000000000000000000000000000000000000c
Arg [6] : 45636f2046696e616e6365730000000000000000000000000000000000000000
Arg [7] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [8] : 4546430000000000000000000000000000000000000000000000000000000000

2782:2692:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2859:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2859: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;2859:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4798:201;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4798:201:0;-1:-1:-1;;;;;4798:201:0;;;;;;;;;;;;;;;;;;;;;;;;;3659:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3659:91:0;;;;;;;;;;;;;;;;;;;;4307:483;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4307:483:0;-1:-1:-1;;;;;4307:483:0;;;;;;;;;;;;2973:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2973:43:0;-1:-1:-1;;;;;2973:43:0;;;;;2911:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2911:21:0;;;;;;;;;;;;;;;;;;;;;;;2939:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2939:27:0;;;;5149:322;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5149:322:0;;;;;4184:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4184:115:0;-1:-1:-1;;;;;4184:115:0;;;;;1314:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1314:20:0;;;;;;;;-1:-1:-1;;;;;1314:20:0;;;;;;;;;;;;;;2884;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2884:20:0;;;;3758:418;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3758:418:0;-1:-1:-1;;;;;3758:418:0;;;;;;;5007:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5007:134:0;-1:-1:-1;;;;;5007:134:0;;;;;;;;;;1934:173;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1934:173:0;-1:-1:-1;;;;;1934:173:0;;;;;;;2859:18;;;;;;;;;;;;;;;-1:-1:-1;;2859:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4798:201::-;4890:10;4865:4;4882:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4882:29:0;;;;;;;;;;;:38;;;4931;;;;;;;4865:4;;4882:29;;4890:10;;4931:38;;;;;;;;-1:-1:-1;4987:4:0;4798:201;;;;:::o;3659:91::-;3730:12;;3659:91;:::o;4307:483::-;4389:4;-1:-1:-1;;;;;4414:17:0;;;;4406:26;;;;;;-1:-1:-1;;;;;4461:15:0;;;;;;:8;:15;;;;;;4451:25;;;4443:34;;;;;;-1:-1:-1;;;;;4506:14:0;;;;;;:7;:14;;;;;;;;4521:10;4506:26;;;;;;;;4496:36;;;4488:45;;;;;;-1:-1:-1;;;;;4564:15:0;;;;;;:8;:15;;;;;;:27;;4584:6;4564:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;4546:15:0;;;;;;;:8;:15;;;;;;:45;;;;4618:13;;;;;;;:25;;4636:6;4618:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4602:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;4683:14;;;;;:7;:14;;;;;4698:10;4683:26;;;;;;;:38;;4714:6;4683:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4654:14:0;;;;;;;:7;:14;;;;;;;;4669:10;4654:26;;;;;;;;:67;;;;4732:28;;;;;;;;;;;4654:14;;4732:28;;;;;;;;;;;-1:-1:-1;4778:4:0;4307:483;;;;;:::o;2973:43::-;;;;;;;;;;;;;:::o;2911:21::-;;;;;;:::o;2939:27::-;;;;:::o;5149:322::-;5230:10;5196:4;5221:20;;;:8;:20;;;;;;:31;-1:-1:-1;5221:31:0;5213:40;;;;;;5298:10;5289:20;;;;:8;:20;;;;;;:33;;5314:7;5289:33;:24;:33;:::i;:::-;5275:10;5266:20;;;;:8;:20;;;;;:56;5348:12;;:25;;5365:7;5348:25;:16;:25;:::i;:::-;5333:12;:40;5386:25;;;;;;;;5391:10;;5386:25;;;;;;;;;;5422:41;;;;;;;;5451:1;;5431:10;;5422:41;;;;;;;;;5149:322;;;:::o;4184:115::-;-1:-1:-1;;;;;4275:16:0;4240:15;4275:16;;;:8;:16;;;;;;;4184:115::o;1314:20::-;;;-1:-1:-1;;;;;1314:20:0;;:::o;2884:::-;;;;;;;;;;;;;;-1:-1:-1;;2884:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3758:418;3821:4;-1:-1:-1;;;;;3846:17:0;;;;3838:26;;;;;;3902:10;3893:20;;;;:8;:20;;;;;;3883:30;;;3875:39;;;;;;4027:10;4018:20;;;;:8;:20;;;;;;:32;;4043:6;4018:32;:24;:32;:::i;:::-;4004:10;3995:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;4077:13:0;;;;;;:25;;4095:6;4077:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4061:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;4113:33;;;;;;;4061:13;;4122:10;;4113:33;;;;;;;;;;-1:-1:-1;4164:4:0;3758:418;;;;:::o;5007:134::-;-1:-1:-1;;;;;5108:15:0;;;5081:7;5108:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5007:134::o;1934:173::-;1747:5;;-1:-1:-1;;;;;1747:5:0;1733:10;:19;1725:28;;;;;;-1:-1:-1;;;;;2011:22:0;;;;2003:31;;;;;;2062:5;;;2041:37;;-1:-1:-1;;;;;2041:37:0;;;;2062:5;;;2041:37;;;2085:5;:16;;-1:-1:-1;;2085:16:0;-1:-1:-1;;;;;2085:16:0;;;;;;;;;;1934:173::o;940:123::-;998:7;1025:6;;;;1018:14;;;;-1:-1:-1;1050:5:0;;;940:123::o;1138:147::-;1196:7;1228:5;;;1251:6;;;;1244:14;;;;1276:1;1138:147;-1:-1:-1;;;1138:147:0:o

bzzr://42442e08559c2838c16bf68408ff88ed0f6a1baa44e8aa74cd3f0e46bf0e34ea